• ВХОД

    •  

    Полное описание

    Д10-19/69495
    004.05/М 744
     Моделирование и верификация политик безопасности управления доступом в операционных системах / П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]. - Москва : Горячая линия - Телеком, 2019. - 215 с. : ил. - Авт. указ. на обороте тит. л. - Библиогр.: с. 185-191 (110 назв.). - 500 экз. - ISBN 978-5-9912-0787-4 : 473 р. - Текст : непосредственный.
    ГРНТИ УДК
    50.37.23004.056.52
    50.41.15004.451.56

    Рубрики:
    Информация -- Сохранность
    Операционные системы
    Доступа метод

    Аннотация: Монография описывает процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах.
    Доп. точки доступа:
    Девянин, П.Н.
    Ефремов, Д.В.
    Кулямин, В.В.
    Петренко, А.К.
    Хорошилов, А.В.
    Экз-ры полностью Д10-19/69495
    Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
    Свободны: ХРЦ (1)
    Оглавление



    Заказ фрагмента документа ₽

    Просмотр издания