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

978-5-9912-0787-4

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

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

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


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

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

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




Об авторе

Девянин П.Н.

Ефремов Д.Н.

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

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

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

Щепетков И.


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



Ритуальный оракул Магия зеркал, 53 карты + инструкция 

Представляем вам новую профессиональную колоду Любови Никифоровой (Отилы), являющуюся продолжением ранее изданной и уже популярной колоды «Ритуальный Оракул». В ней вы познакомитесь с азами работы с зеркалами, видами магических воздействий и способами их снятия....

Оракул Норн. Нити судьбы, 45 карт+инструкция 

Оракул Норн: нити судьбы - действительно уникальная колода. Предсказывать будущее или узнавать обстоятельства прошлого и настоящего помогают Боги, Богини и герои Древней Скандинавии. Они дают подробное описание грядущих событий, которое напрямую зависит не только от обстоятельств, но и от характера человека, который хочет узнать свое будущее....

Оракул Вселенской любви Ангелов, 72 карты + инструкция 

Оракул Вселенских Ангелов — это уникальная колода карт, созданная для тех, кто ищет направление и поддержку в области любви и добра от духовного мира Ангелов. Колода состоит из 72 карт, на каждой из которых изображен Ангел....

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