V.G. Proskurin

2011

1. Approaches to development of access control formal models for Linux operating systems security Highly available systems, No. 2, 2011 pp. 93-96