© ISO 2014Health informatics — Privilege management and access control —Part 2: Formal modelsInformatique de san...