Facebook Instagram Twitter RSS Feed PodBean Back to top on side

Formal Verification of Security Model Using SPR Tool

In: Computing and Informatics, vol. 25, no. 5
Il-Gon Kim - Miyoung Kang - Jin-Young Choi - Peter D. Zegzhda - Maxim O. Kalinin - Dmitry P. Zegzhda - Inhye Kang

Details:

Year, pages: 2006, 353 - 368
Keywords:
SPR (Safety Problem Resolver), SEW (Security Evaluation Workshop), SPSL (Safety Problem Specification Language)
About article:
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.
How to cite:
ISO 690:
Kim, I., Kang, M., Choi, J., D. Zegzhda, P., O. Kalinin, M., P. Zegzhda, D., Kang, I. 2006. Formal Verification of Security Model Using SPR Tool. In Computing and Informatics, vol. 25, no.5, pp. 353-368. 1335-9150.

APA:
Kim, I., Kang, M., Choi, J., D. Zegzhda, P., O. Kalinin, M., P. Zegzhda, D., Kang, I. (2006). Formal Verification of Security Model Using SPR Tool. Computing and Informatics, 25(5), 353-368. 1335-9150.