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 journalArticlepeer-review

    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

    Keywords

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

    ASJC Scopus subject areas

    • Software
    • Hardware and Architecture
    • Computer Networks and Communications
    • Computational Theory and Mathematics

    Fingerprint

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

    Cite this