Policy conflict detection method based on model checking

Dan Wu; Sheng Jun Wei

doi:10.3969/j.issn.1001-0548.2013.05.019

Policy conflict detection method based on model checking

Dan Wu^*, Sheng Jun Wei

^*Corresponding author for this work

School of Cyberspace Science and Technology

Beijing Institute of Technology

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

1 Citation (Scopus)

Abstract

A new policy conflict detection method is proposed based on model checking. In this method, the model of system is specified with formal description language, the properties of system depending on different types of policy conflicts is represented with temporal logic, and the violations of properties is detected by using NuSMV model checker, which can provide the counterexample and trace it back to the policy conflict point. The result shows that the method can improve the efficiency of policy conflict detection.

Original language	English
Pages (from-to)	745-748+768
Journal	Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China
Volume	42
Issue number	5
DOIs	https://doi.org/10.3969/j.issn.1001-0548.2013.05.019
Publication status	Published - Sept 2013

Keywords

Counterexample
Model checking
NuSMV
Policy conflict

Access to Document

10.3969/j.issn.1001-0548.2013.05.019

Cite this

@article{29a141434124417fb0830f2f1713b4ed,

title = "Policy conflict detection method based on model checking",

abstract = "A new policy conflict detection method is proposed based on model checking. In this method, the model of system is specified with formal description language, the properties of system depending on different types of policy conflicts is represented with temporal logic, and the violations of properties is detected by using NuSMV model checker, which can provide the counterexample and trace it back to the policy conflict point. The result shows that the method can improve the efficiency of policy conflict detection.",

keywords = "Counterexample, Model checking, NuSMV, Policy conflict",

author = "Dan Wu and Wei, {Sheng Jun}",

year = "2013",

month = sep,

doi = "10.3969/j.issn.1001-0548.2013.05.019",

language = "English",

volume = "42",

pages = "745--748+768",

journal = "Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China",

issn = "1001-0548",

publisher = "University of Electronic Science and Technology of China",

number = "5",

}

TY - JOUR

T1 - Policy conflict detection method based on model checking

AU - Wu, Dan

AU - Wei, Sheng Jun

PY - 2013/9

Y1 - 2013/9

N2 - A new policy conflict detection method is proposed based on model checking. In this method, the model of system is specified with formal description language, the properties of system depending on different types of policy conflicts is represented with temporal logic, and the violations of properties is detected by using NuSMV model checker, which can provide the counterexample and trace it back to the policy conflict point. The result shows that the method can improve the efficiency of policy conflict detection.

AB - A new policy conflict detection method is proposed based on model checking. In this method, the model of system is specified with formal description language, the properties of system depending on different types of policy conflicts is represented with temporal logic, and the violations of properties is detected by using NuSMV model checker, which can provide the counterexample and trace it back to the policy conflict point. The result shows that the method can improve the efficiency of policy conflict detection.

KW - Counterexample

KW - Model checking

KW - NuSMV

KW - Policy conflict

UR - http://www.scopus.com/inward/record.url?scp=84887563802&partnerID=8YFLogxK

U2 - 10.3969/j.issn.1001-0548.2013.05.019

DO - 10.3969/j.issn.1001-0548.2013.05.019

M3 - Article

AN - SCOPUS:84887563802

SN - 1001-0548

VL - 42

SP - 745-748+768

JO - Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China

JF - Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China

IS - 5

ER -

Policy conflict detection method based on model checking

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this