Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE \{\{youtubelink\|([^\}]*)\}\} with {{youtubelink|\1}}{{letscomment}}) |
StasFomin (обсуждение | вклад) |
||
[[File:{{#setmainimage:Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018)!.jpg}}|center|640px]]
{{LinksSection}}
* Монография «[http://www.ispras.ru/publications/2018/security_policy_modeling_and_verification/ Моделирование и верификация политик безопасности управления доступом в операционных системах]»
<!-- <blockquote>[©]</blockquote> -->
{{vklink|1080}}
{{fblink|2086881348231542}}
<references/>
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2018-10-10T23:56:3719T21:10:14.787329567030|vimeo_plays=2931|youtube_comments=2|youtube_plays=16}}
[[Категория:OSDAY-2018]]
[[Категория:SELinux]]
[[Категория:AstraLinux]]
[[Категория:Верификация]] | |||
Версия 18:10, 19 октября 2018
- Докладчик
Сопоставляются архитектуры SELinux и AstraLinux, дается оценка сложности реализации каждого из подходов и рассматривается вопрос сложности построения модели политик безопасности управления доступом, сложность реализации и верификации средств защиты ОС при использовании указанных подходов.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
- Монография «Моделирование и верификация политик безопасности управления доступом в операционных системах»
Plays:47
Comments:2


