Normal view
MARC view
Моделирование и верификация политик безопасности управления доступом в операционных системах П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]
Material type:
TextPublication details: Москва Горячая линия - Телеком 2019Description: 215 с. таблISBN: 9785991207874Subject(s): модели безопасности управления доступом в операционных системах, разработка | операционные системы защищенные, характеристики | защита информации | Astra Linux Special Edition, операционная система специального назначения | программные компоненты Astra Linux Special Edition | верификация операционных систем | модели безопасности управления доступом в операционных системах, верификация | безопасность операционных систем | операционные системы специального назначения | управление доступом операционной системы, моделирование | управление доступом операционной системы, верификация | политики безопасности в операционной системе
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Выдается по месту хранения | Научная библиотека ТГУ Читальный зал 5 | 004 М744 (Browse shelf(Opens below)) | Available | 13820000997694 |
Авт. указ. на обороте тит. л.
Библиогр.: с. 185-191
There are no comments on this title.
Log in to your account to post a comment.