Информация об авторе

Девянин П.Н.


Библиография книг автора

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

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

Нет в наличии