Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого разграничений доступа, безопасности информационных потоков, изолированной программной среды. Приведен используемый в рассматриваемых моделях математический аппарат.
Модели безопасности компьютерных систем. / Девянин П.Н.: Академия, 2005. - 143 c.
|