Моделирование и верификация политик безопасности управления

доступом в операционных системах / П. Н. Девянин, Д. В. Ефремов,

В. В. Кулямин и др. – М.: Горячая линия – Телеком, 2019. – 214 с.: ил.

ISBN 978-5-9912-0787-4.

https://www.ispras.ru/publications/s...rification.pdf