Using Refinement in Formal Development of OS Security Model

In Lecture Notes in Computer Science vol. 9609

P.N. Devyanin, V.V. Kuliamin, A.K. Petrenko, A.V. Khoroshilov, I.V. Shchepetkov. 

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, pp. 107-115. Springer International Publishing, 2016. DOI: 10.1007/978-3-319-41579-6_9.

Перейти к источнику

Using Refinement in Formal Development of OS Security Model