基于模型检测的策略冲突检测方法

• 作者: 危胜军 吴丹
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 反例 模型检测 NuSMV 策略冲突
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 745-748,768
• 页数: 5页
• 分类号: TP399
• 字数: 3246字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2013.05.019

摘要

提出一种基于模型校验的策略冲突检测新方法。首先通过形式化描述语言进行系统建模，采用时态逻辑表征策略冲突的系统属性，然后利用NuSMV模型检测器验证属性的可满足性，并根据模型检测器产生的反例轨迹追溯策略冲突点。该方法可提高策略冲突检测的效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴丹	北京理工大学机电学院	3	8	2.0	2.0
5	危胜军	北京理工大学软件安全工程技术北京市重点实验室	19	178	6.0	13.0