StandartGOST.ru
ISO/TS 22600-2:2006
Информатика в здравоохранении. Привилегированный менеджмент и контроль доступа. Часть 2. Формальные модели