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 May 5, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/348.