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