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