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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

吴丹, 危胜军

文章导航 > 电子科技大学学报 > 2013 > 42(5): 745-748,768

吴丹, 危胜军. 基于模型检测的策略冲突检测方法[J]. 电子科技大学学报, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

引用本文:

吴丹, 危胜军. 基于模型检测的策略冲突检测方法[J]. 电子科技大学学报, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

WU Dan, WEI Sheng-jun. Policy Conflict Detection Method Based on Model Checking[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

Citation:

WU Dan, WEI Sheng-jun. Policy Conflict Detection Method Based on Model Checking[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

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

doi: 10.3969/j.issn.1001-0548.2013.05.019

吴丹^1,2,
危胜军^2,3

1.
北京理工大学机电学院北京海淀区 100081;
2.
北京理工大学软件安全工程技术北京市重点实验室北京海淀区 100081;
3.
北京理工大学软件学院北京海淀区 100081

基金项目:

国家863项目(2009AA01Z433)

作者简介:
吴丹(1983-),男,博士,主要从事多级安全策略与网络安全方面的研究.

中图分类号: TP399

Policy Conflict Detection Method Based on Model Checking

WU Dan^1,2,
WEI Sheng-jun^2,3

1.
School of Mechatronical Engineering,Beijing Institute of Technology Haidian Beijing 100081;
2.
Beijing Key Laboratory of Software Security Engineering Technology,Beijing Institute of Technology Haidian Beijing 10008;
3.
School of Software,Beijing Institute of Technology Haidian Beijing 100081

摘要: 提出一种基于模型校验的策略冲突检测新方法。首先通过形式化描述语言进行系统建模,采用时态逻辑表征策略冲突的系统属性,然后利用NuSMV模型检测器验证属性的可满足性,并根据模型检测器产生的反例轨迹追溯策略冲突点。该方法可提高策略冲突检测的效率。
- 反例 /
- 模型检测 /
- NuSMV /
- 策略冲突
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.
- counterexample /
- model checking /
- NuSMV /
- policy conflict

[1]	代翔. 基于事件模式及类型的事件检测模型 . 电子科技大学学报, 2022, 51(4): 592-599. doi: 10.12178/1001-0548.2021377
[2]	陈正茂, 刘洪, 林毅. 基于深度高斯过程的飞行冲突探测方法研究 . 电子科技大学学报, 2021, 50(2): 261-266. doi: 10.12178/1001-0548.2019191
[3]	杨帆, 杨国武, 郝玉洁. 基于模型检测的半量子密码协议的安全性分析 . 电子科技大学学报, 2017, 46(5): 716-721. doi: 10.3969/j.issn.1001-0548.2017.05.013
[4]	张涛, 谢红, 黄少滨. 多Agent交互策略模型检测方法 . 电子科技大学学报, 2016, 45(5): 802-807. doi: 10.3969/j.issn.1001-0548.2016.05.016
[5]	陈林林, 魏民祥, 杨海青. 基于均值模型的煤油发动机喷油控制策略 . 电子科技大学学报, 2015, 44(6): 869-875. doi: 10.3969/j.issn.1001-0548.2015.06.013
[6]	俞东进, 吴为, 殷昱煜, 闫大强, 刘志清. 基于模型检测的服务规则路由正确性验证方法 . 电子科技大学学报, 2014, 43(1): 107-112. doi: 10.3969/j.issn.1001-0548.2014.01.018
[7]	吕涛, 朱清新, 张路桥. 基于均衡策略的无线传感器网络协作模型 . 电子科技大学学报, 2013, 42(5): 763-768. doi: 10.3969/j.issn.1001-0548.2013.05.023
[8]	彭云峰, 何模雄, 隆克平. 入侵检测灰色空间模型及应用 . 电子科技大学学报, 2012, 41(3): 453-458. doi: 10.3969/j.issn.1001-0548.2012.03.025
[9]	罗谦, 唐常杰, 郑皎凌, 胡建. 基于多槽分桶的快速规则冲突检测算法 . 电子科技大学学报, 2012, 41(3): 447-452. doi: 10.3969/j.issn.1001-0548.2012.03.024
[10]	王永华, 杨健, 詹宜巨, 万频. RFID网络读写器冲突避免MAC协议 . 电子科技大学学报, 2011, 40(3): 388-391. doi: 10.3969/j.issn.1001-0548.2011.03.012
[11]	张雪芹, 顾春华, 吴吉义. 异常检测中支持向量机最优模型选择方法 . 电子科技大学学报, 2011, 40(4): 559-563. doi: 10.3969/j.issn.1001-0548.2011.04.017
[12]	朱维军, 邓淼磊, 周清雷, 张海宾. 扩展命题区间时序逻辑公式可满足性判定算法 . 电子科技大学学报, 2011, 40(5): 753-758. doi: 10.3969/j.issn.1001-0548.2011.05.023
[13]	徐世中, 杨德明, 周开宇, 王晟. OBS网络中边缘电缓存冲突规避机制研究 . 电子科技大学学报, 2010, 39(1): 25-28. doi: 10.3969/j.issn.1001-0548.2010.01.006
[14]	杨宏宇, 李春林. 采用FA和SVDFRM的SVM入侵检测分类模型 . 电子科技大学学报, 2009, 38(2): 240-244. doi: 10.3969/j.issn.1001-0548.2009.02.20
[15]	关欣, 孙晓明, 何友. 一种冲突证据的融合方法 . 电子科技大学学报, 2007, 36(1): 30-32,56.
[16]	刘才铭, 赵辉, 张雁, 曾金全, 彭凌西. 受人工免疫启发的脚本病毒检测模型 . 电子科技大学学报, 2007, 36(6): 1219-1222.
[17]	程永新, 许家珆, 陈科. 一种新型入侵检测模型及其检测器生成算法 . 电子科技大学学报, 2006, 35(2): 235-238.
[18]	何再朗, 田敬东, 张毓森. 一种基于域的递增式策略部署模型 . 电子科技大学学报, 2006, 35(3): 385-388.
[19]	吴劲, 卢显良, 任立勇, 魏青松. 缓存失效策略的性能分析数学模型 . 电子科技大学学报, 2005, 34(2): 225-228.
[20]	王波, 邱昆. 基于DOCSIS的冲突解决算法的研究 . 电子科技大学学报, 2003, 32(3): 293-295.

WeChat

点击查看大图

计量

文章访问数: 3314
HTML全文浏览量: 123
PDF下载量: 46
被引次数: 0

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

doi: 10.3969/j.issn.1001-0548.2013.05.019

吴丹^1,2,
危胜军^2,3

1. 北京理工大学机电学院北京海淀区 100081;

2. 北京理工大学软件安全工程技术北京市重点实验室北京海淀区 100081;

3. 北京理工大学软件学院北京海淀区 100081

基金项目:

国家863项目(2009AA01Z433)

作者简介:
吴丹(1983-),男,博士,主要从事多级安全策略与网络安全方面的研究.

收稿日期: 2011-12-31
修回日期: 2012-06-19
刊出日期: 2013-10-15

中图分类号: TP399

关键词:

反例 /
模型检测 /
NuSMV /
策略冲突

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

English Abstract

吴丹, 危胜军. 基于模型检测的策略冲突检测方法[J]. 电子科技大学学报, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

引用本文:

吴丹, 危胜军. 基于模型检测的策略冲突检测方法[J]. 电子科技大学学报, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

WU Dan, WEI Sheng-jun. Policy Conflict Detection Method Based on Model Checking[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

Citation:

WU Dan, WEI Sheng-jun. Policy Conflict Detection Method Based on Model Checking[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(5): 745-748,768. doi: 10.3969/j.issn.1001-0548.2013.05.019

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发