基于逻辑和辩论的安全策略一致性研究

• 作者: 李磊 翟浩良 韩道军
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 安全策略 一致性 逻辑 辩论
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 学术研究
• 页码范围: 355-365
• 分类号: TP311
• 字数: 10281字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.04.008

摘要

冲突检测和冲突消解是策略一致性研究的两个主要方向.现有的冲突检测算法时间复杂度高,且缺乏灵活性和扩展性.改变策略条件和基于优先级的冲突消解方法容易引起新的不一致性问题,而且优先权的赋予带有主观因素,难以实现.在此基础上,使用逻辑对策略和策略冲突进行形式化描述和分析,并提出了一种基于逻辑合一思想的多项式时间内的策略一致性检测算法；把策略冲突分为包容冲突、相交冲突和互补冲突,给出了一种包容冲突和相交冲突的自动解决方法,证明了该方法的可行性和完备性；利用辩论机制和理论对策略互补冲突进行了语义分析,为基于优先级的解决方案提供了理论基础；提出了一种策略互补冲突下的一致性策略子集的计算算法,并进行了复杂度分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李磊	中山大学软件研究所	117	1028	16.0	29.0
2	韩道军	中山大学软件研究所	42	417	10.0	19.0
4	翟浩良	中山大学软件研究所	7	82	2.0	7.0