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

Research output: Contribution to journalArticle

3 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)353-368
Number of pages16
JournalComputing and Informatics
Volume25
Issue number5
Publication statusPublished - 2006 Dec 8

Keywords

  • SEW (security evaluation workshop)
  • SPR (safety problem resolver)
  • SPSL (safety problem specification language)

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Formal verification of security model using SPR tool'. Together they form a unique fingerprint.

  • Cite this

    Kim, I. G., Kang, M., Choi, J. Y., Zegzhda, P. D., Kalinin, M. O., Zegzhda, D. P., & Kang, I. (2006). Formal verification of security model using SPR tool. Computing and Informatics, 25(5), 353-368.