Модели безопасности компьютерных систем. Управление доступом и информационными потоками. Учебное пособие для вузов.- 2-е изд.

Аннотация

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