Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого разграничений доступа, безопасности информационных потоков, золированн й программной среды. Приведен используемый в рассматриваемых моделях математический аппара т.
Учебное пособие разработано при содействии Академии криптографии Российской Федерации.
Для студентов высших учебных заведений. Может быть полезно специалистам в области защиты информации.

Модели безопасности компьютерных систем: Учеб. пособие для студ. высш. учеб. заведений (Серия "Высшее профессиональное образование") Информационная безопасность