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

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

Для студентов высших учебных заведений. Может быть использовано специалистами в области защиты информации