Kim, I. G., Kang, M., Choi, J. Y., Zegzhda, P. D., Kalinin, M. O., Zegzhda, D. P., & Kang, I. (2012). Formal Verification of Security Model Using SPR Tool. COMPUTING AND INFORMATICS, 25(5), 353–368. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/348