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

978-5-9912-0787-4

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

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

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


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

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

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




Об авторе

Девянин П.Н.

Ефремов Д.Н.

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

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

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

Щепетков И.


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



Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы 

В предлагаемом пособии представлен обширный материал, посвященный двум заключительным и сложным темам ЕГЭ профильного уровня: задачам с параметрами и числам и их свойствам. На многочисленных примерах с подробными решениями и обоснованиями (как и требуется на экзамене) показаны различные методы и решения задач....

План счетов бухгалтерского учета с последними изменениями 

Читателю предлагается самая последняя редакция Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и инструкции по его применению с учетом последних приказов Минфина РФ. План счетов - это важнейший инструмент бухгалтерского учета, настольная книга для каждого практического бухгалтера....

На ферме. Книжка с наклейками 

Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия....

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