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

;{{SpeakerInfo}}: {{Speaker|Петр Девянин}}
<blockquote>
Рассматриваются требования различных уровней профилей защиты ОС и проблемы связанные с реализацией этих требований в альтернативных подходах к построению защищенных Linux-систем. 
</blockquote>

{{VideoSection}}
{{vimeoembed|240323214|800|450}}

{{youtubelink|pCl5sVspxyA}}{{letscomment}}


{{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> -->

{{fblink|2084056908513986}}                                          
{{vklink|1139}}                                          
<references/>

<!-- topub -->


{{stats|disqus_comments=0|refresh_time=2020-01-04T15:56:542021-08-31T16:55:05.20312686|vimeo_plays=2738|youtube_comments=0|youtube_plays=58}}

[[Категория:OSDAY-2018]]
[[Категория:Верификация]]
[[Категория:Информационная безопасность]]
[[Категория:LSM]]