Journals
Books
Articles by keyword dp-model
Approaches to development of access control formal models for Linux operating systems security
P.N. Devyanin, V.G. Proskurin