Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018)
Материал из 0x1.tv
Версия от 10:29, 28 января 2020; StasFomin (обсуждение | вклад)
Короткая ссылка: 20180518H
- Докладчик
Сопоставляются архитектуры SELinux и AstraLinux, дается оценка сложности реализации каждого из подходов и рассматривается вопрос сложности построения модели политик безопасности управления доступом, сложность реализации и верификации средств защиты ОС при использовании указанных подходов.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
- Монография «Моделирование и верификация политик безопасности управления доступом в операционных системах»
Plays:65
Comments:2