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 http://147.213.75.17/ojs/index.php/cai/article/view/348