Девянин П.Н.
|
Библиография книг автора
Девянин П.Н.
Ефремов Д.Н.
Кулямин В.В.
Петренко А.В.
Хорошилов А.В.
Щепетков И.
Моделирование и верификация политик безопасности управления доступом в операционных системах
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition....
|
Нет в наличии |
Девянин П.Н.
Модели безопасности компьютерных систем. Управление доступом и информационными потоками
Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого управления доступом, безопасности информационных потоков и изолированной программной среды. Описан используемый и рассматриваемых моделях математический аппарат....
|
Нет в наличии |
Девянин П.Н.
Модели безопасности компьютерных систем. Управление доступом и информационными потоками. Учебное пособие
Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого управления доступом, безопасности информационных потоков и изолированной программной среды. Описан используемый в рассматриваемых....
|
Нет в наличии |
Девянин П.Н.
Анализ безопасности управления доступом и информационными потоками в компьютерных системах
Одной из актуальных проблем теории компьютерной безопасности является анализ безопасности управления доступом и информационными потоками в компьютерных системах (КС)....
|
Нет в наличии |
Девянин П.Н.
Модели безопасности компьютерных систем: Учебное пособие для вузов Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого разграничений доступа, безопасности информационных потоков, изолированной программной среды. Приведен используемый в рассматриваемых моделях математический аппарат. |
Нет в наличии |