Kim, Il Gon, Miyoung Kang, Jin Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, and Inhye Kang. 2012. “Formal Verification of Security Model Using SPR Tool”. Computing and Informatics 25 (5):353-68. http://147.213.75.17/ojs/index.php/cai/article/view/348.