Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018) — различия между версиями

{{SlidesSection}}
[[File:Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018).pdf|left|page=-|300px]]

{{----}}
[[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|20868813482315422255292038057138}}                                          
<references/>

<!-- topub -->


{{stats|disqus_comments=0|refresh_time=2019-02-26T19:14:04.349742|vimeo_plays=32|youtube_comments=2|youtube_plays=17}}

[[Категория:OSDAY-2018]]
[[Категория:SELinux]]
[[Категория:AstraLinux]]
[[Категория:Верификация]]