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

Топикстартер · 10 фев 2019

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

Авторы: Девянин П.Н., Ефремов Д.В., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.

Издательство: Горячая линия – Телеком, научно-техническое издательство

Объем оригинала: 214 cтр.

Дата публикации: 2019

Формат: скан

Описание:

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

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