Formal Verification of Security Model Using SPR Tool
Keywords:
SPR (Safety Problem Resolver), SEW (Security Evaluation Workshop), SPSL (Safety Problem Specification Language)Abstract
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.Downloads
Download data is not yet available.
Downloads
Published
2012-01-30
How to Cite
Kim, I. G., Kang, M., Choi, J. Y., Zegzhda, P. D., Kalinin, M. O., Zegzhda, D. P., & Kang, I. (2012). Formal Verification of Security Model Using SPR Tool. Computing and Informatics, 25(5), 353–368. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/348
Issue
Section
Articles