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