Using Refinement in Formal Development of OS Security Model

P.N. Devyanin, V.V. Kuliamin, A.K. Petrenko, A.V. Khoroshilov, I.V. Shchepetkov. Using Refinement in Formal Development of OS Security Model // In Lecture Notes in Computer Sciences #9609 "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. URL: http://dx.doi.org/10.1007/978-3-319-41579-6_9.