Возможности сертификации защищенных ОС Linux в соответствии с Профилями защиты разных уровней (Петр Девянин, OSDAY-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
… http://www.ispras.ru/publications/2018/security_policy_modeling_and_verification/ <!-- <blockquote>[©]</blockquote> --> <references/> <!-- topub --> [[Категория:OSDAY-2018]] |
Версия 10:16, 14 июня 2018
- Докладчик
- Петр Девянин
Рассматриваются требования различных уровней профилей защиты ОС и проблемы связанные с реализацией этих требований в альтернативных подходах к построению защищенных Linux-систем.
Видео
Презентация
Примечания и ссылки