Sciweavers

Share
CAI
2006
Springer

Formal Verification of Security Model Using SPR Tool

11 years 9 months ago
Formal Verification of Security Model Using SPR Tool
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes it possible to analyze security issues on security systems based on the access control model. To illustrate this approach, a case study of the Simple Access Control Model (SACM) is used and specific safety problems of the security model are analyzed using the SPR tool.
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D.
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CAI
Authors Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
Comments (0)
books