Kim, I.G. et al. 2012. Formal Verification of Security Model Using SPR Tool. Computing and Informatics. 25, 5 (Jan. 2012), 353–368.