Научное издание

Адрес издательства в Интернет WWW.TECHBOOK.RU

АО «НПО РусБИТех» Девянин Петр Николаевич

Институт системного программирования им. В.П. Иванникова РАН

Ефремов Денис Валентинович, Кулямин Виктор Вячеславович, Петренко Александр Константинович, Хорошилов Алексей Владимирович, Щепетков Илья Викторович

МОДЕЛИРОВАНИЕ И ВЕРИФИКАЦИЯ ПОЛИТИК БЕЗОПАСНОСТИ УПРАВЛЕНИЯ ДОСТУПОМ В ОПЕРАЦИОННЫХ СИСТЕМАХ

Монография

Редактор Ю. Н. Чернышов Компьютерная верстка Ю. Н. Чернышова Обложка художника В. Г. Ситникова

Подписано в печать 15.01.2019. Печать цифровая. Формат 60×88/16. Уч. изд. л. 13,38. Тираж 500 экз. (1-й з-д 150 экз.) Изд.№ 190787 ООО «Научно-техническое издательство «Горячая линия — Телеком»