Информация о книге

978-5-9912-0787-4

Главная  » Тематика определяется » Моделирование и верификация политик безопасности управления доступом в операционных системах

Девянин П.Н., Ефремов Д.Н., Кулямин В.В., Петренко А.В., Хорошилов А.В., Щепетков И., Моделирование и верификация политик безопасности управления доступом в операционных системах

2019 г., 214 стр., 978-5-9912-0787-4


Описание книги

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах. Представленный процесс направлен на обеспечение выполнения требований ГОСТ Р ИСО/МЭК 15408 «Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий» и профилей защиты операционных систем общего назначения (типа «А») третьего и второго классов защиты. Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС «Информационная безопасность».

Поделиться ссылкой на книгу




Об авторе

Девянин П.Н.

Ефремов Д.Н.

Кулямин В.В.
Кандидат физико-математических наук, старший научный сотрудник Института системного программирования РАН. Сфера его интересов — программная инженерия в целом, использование формальных моделей при промышленной разработке программ и контроле их качества, тестирование на основе моделей, а также неформализуемые аспекты разработки программного обеспечения. Автор и соавтор около 30 работ. Читает ряд спецкурсов на факультете ВМиК МГУ им. М.В. Ломоносова.

Петренко А.В.
Составитель

Хорошилов А.В.

Щепетков И.


Последние поступления в рубрике "Тематика определяется"



Алиса Селезнева. Сто лет тому вперед Алиса Селезнева. Сто лет тому вперед Булычев Б.

Третья планета от солнца готова услышать голоса новых героев! Повесть Кира Булычёва «Сто лет тому вперёд» озвучили актёры Марк Эйдельштейн (он же сыграл Колю Герасимова в экранизации 2024 года) и Дарья Савичева (сериал «Беспринципные»). Шестиклассник Коля вдруг обнаруживает в обычной московской квартире машину времени....

Странная история доктора Джекила и мистера Хайда Странная история доктора Джекила и мистера Хайда Стивенсон Л.У.

Читает Алена Долецкая! Одно из первых произведений в жанре научной фантастики: мрачная готическая повесть о раздвоении личности и тёмной изнанке человеческой души. Генри Джекил, уважаемый в обществе врач и ученый, поставил неудачный эксперимент и материализовал тёмную часть своей личности....

Этика Этика Спиноза С.

Бенедикт Спиноза – основополагающая, веховая фигура в истории мировой философии. Учение Спинозы продолжает начатые Декартом революционные движения мысли в европейской философии, отрицая ценности былых веков, средневековую религиозную догматику и непререкаемость авторитетов....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Девянин П.Н., Ефремов Д.Н., Кулямин В.В., Петренко А.В., Хорошилов А.В., Щепетков И., Моделирование и верификация политик безопасности управления доступом в операционных системах в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.