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