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

^*此作品的通讯作者

网络空间安全学院

Beijing Institute of Technology

科研成果: 期刊稿件 › 文章 › 同行评审

1 引用（Scopus）

摘要

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.

源语言	英语
页（从-至）	745-748+768
期刊	Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China
卷	42
期	5
DOI	https://doi.org/10.3969/j.issn.1001-0548.2013.05.019
出版状态	已出版 - 9月 2013

访问文件

10.3969/j.issn.1001-0548.2013.05.019

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

访问文件

其它文件与链接

指纹

引用此