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 - http://www.scopus.com/inward/record.url?scp=33845228619&partnerID=8YFLogxK

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