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
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
Text on Computing and Informatics
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.
Publié le : 2012-01-26
Classification:  SPR (Safety Problem Resolver); SEW (Security Evaluation Workshop); SPSL (Safety Problem Specification Language) 
@article{cai348,
     author = {Il Gon Kim and Miyoung Kang and Jin Young Choi and Peter D. Zegzhda and Maxim O. Kalinin and Dmitry P. Zegzhda and Inhye Kang},
     title = {Formal Verification of Security Model Using SPR Tool},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai348}
}

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. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai348/