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

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

​

• Авторы: Девянин П.Н., Ефремов Д.В., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
• Издательство: Горячая линия – Телеком, научно-техническое издательство
• Объем оригинала: 214 cтр.
• Дата публикации: 2019
  
• Формат: скан

Описание:

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке.

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

Код:

http://glavkniga.su/book/214917