Journals
Books
Articles by keyword ДП-модель
Approaches to development of access control formal models for Linux operating systems security
P.N. Devyanin, V.G. Proskurin