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

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

Department of Mechanical and Information Engineering

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

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 language	English
Pages (from-to)	353-368
Number of pages	16
Journal	Computing and Informatics
Volume	25
Issue number	5
State	Published - 2006

Keywords

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

Cite this

@article{4e895df85dc84a48a101080a54b6957a,

title = "Formal verification of security model using SPR tool",

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.",

keywords = "SEW (security evaluation workshop), SPR (safety problem resolver), SPSL (safety problem specification language)",

author = "Kim, \{Il Gon\} and Miyoung Kang and Choi, \{Jin Young\} and Zegzhda, \{Peter D.\} and Kalinin, \{Maxim O.\} and Zegzhda, \{Dmitry P.\} and Inhye Kang",

year = "2006",

language = "English",

volume = "25",

pages = "353--368",

journal = "Computing and Informatics",

issn = "1335-9150",

publisher = "Slovak Academy of Sciences",

number = "5",

}

TY - JOUR

T1 - Formal verification of security model using SPR tool

AU - Kim, Il Gon

AU - Kang, Miyoung

AU - Choi, Jin Young

AU - Zegzhda, Peter D.

AU - Kalinin, Maxim O.

AU - Zegzhda, Dmitry P.

AU - Kang, Inhye

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - SEW (security evaluation workshop)

KW - SPR (safety problem resolver)

KW - SPSL (safety problem specification language)

UR - https://www.scopus.com/pages/publications/33845228619

M3 - Article

AN - SCOPUS:33845228619

SN - 1335-9150

VL - 25

SP - 353

EP - 368

JO - Computing and Informatics

JF - Computing and Informatics

IS - 5

ER -

Formal verification of security model using SPR tool

Abstract

Keywords

Other files and links

Fingerprint

Cite this