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 April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/348.