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