Formal Verification of Security Model Using SPR Tool

Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang. Formal Verification of Security Model Using SPR Tool. Computers and Artificial Intelligence, 25(5):353-368, 2006.

No reviews for this publication, yet.