Kim, I. G.; Kang, M.; Choi, J. Y.; Zegzhda, P. D.; Kalinin, M. O.; Zegzhda, D. P.; Kang, I. Formal Verification of Security Model Using SPR Tool. Comput. Inform. 2012, 25, 353-368.