Formal Verification of Security Model Using SPR Tool

Authors

  • Il Gon Kim
  • Miyoung Kang
  • Jin Young Choi
  • Peter D. Zegzhda
  • Maxim O. Kalinin
  • Dmitry P. Zegzhda
  • Inhye Kang

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 https://www.cai.sk/ojs/index.php/cai/article/view/348

Issue

Vol. 25 No. 5 (2006): Computing and Informatics

Section

Articles

Most read articles by the same author(s)