检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

电子科技大学学报 2013年第5期42卷 745-748,768页

作者：吴丹危胜军北京理工大学机电学院北京海淀区100081 北京理工大学软件安全工程技术北京市重点实验室北京海淀区100081 北京理工大学软件学院北京海淀区100081

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

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

关键词：反例模型检测 NuSMV 策略冲突

一种基于区块链的ABAC静态策略冲突优化算法

在线全文

学校读者我要写书评

暂无评论

网络安全技术与应用 2023年第5期 35-39页

作者：王凤领王涵冯伟功贺州学院广西542899 澳门城市大学数据科学研究院中国澳门999078 珠海中科先进技术研究院广东519000

在大数据云计算环境下,针对数据量大、冲突策略增多的特点,存在策略管理效率和存储效率低、策略存储不安全等问题。本文提出了一种基于区块链的ABAC静态策略冲突优化算法(BB-ABAC)。该算法将区块链技术与ABAC模型相结合,利用智能合约技... 详细信息

在大数据云计算环境下,针对数据量大、冲突策略增多的特点,存在策略管理效率和存储效率低、策略存储不安全等问题。本文提出了一种基于区块链的ABAC静态策略冲突优化算法(BB-ABAC)。该算法将区块链技术与ABAC模型相结合,利用智能合约技术实现策略的可信决策和分布式自动化,对冲突策略区块分组后再进行拆分、合并或删除,通过格式编码技术压缩区块大小,然后存储在区块链中,这使得静态冲突策略更加精确。实验结果表明,该算法能有效提高冲突检测率和策略存储效率,提高策略的安全性和可信访问控制。

关键词：区块链 ABAC BB-ABAC 静态策略策略冲突

在线全文

学校读者我要写书评

暂无评论

报文过滤策略的逻辑表示及冲突解决方法

电子学报 2005年第B12期33卷 2517-2523页

作者：韩智文龚正虎荣霓国防科技大学计算机学院湖南长沙410073 广州军区自动化站广东广州510000

报文过滤策略是基于报文头部及相关信息对其进行分类的规则集合，报文分类是提供网络服务如路由、QoS、安全等的关键技术．策略中的冲突会导致不一致的系统行为．提出了一种具有精确语义的过滤策略语言，并给出了该语言到Horn程序的转... 详细信息

报文过滤策略是基于报文头部及相关信息对其进行分类的规则集合，报文分类是提供网络服务如路由、QoS、安全等的关键技术．策略中的冲突会导致不一致的系统行为．提出了一种具有精确语义的过滤策略语言，并给出了该语言到Horn程序的转换规则，从而可以利用逻辑推理技术检测和解析冲突．理论分析和原型实现验证了该方法的有效性．

关键词：报文过滤策略策略管理策略冲突冲突解决

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一种优化的策略不一致性冲突消解方法

华中科技大学学报（自然科学版） 2014年第11期42卷 106-111页

作者：鲁剑锋闫轩彭浩韩建民浙江师范大学数理与信息工程学院浙江金华321004

针对当静态职责分离策略与可用策略并存时,由于互斥的安全与可用需求可能引发访问控制策略不一致性冲突问题,提出了一种优化的冲突消解方法.该方法基于静态裁剪减少所须考虑的策略数量,通过计算最小冲突覆盖集合以降低问题求解的规模,... 详细信息

针对当静态职责分离策略与可用策略并存时,由于互斥的安全与可用需求可能引发访问控制策略不一致性冲突问题,提出了一种优化的冲突消解方法.该方法基于静态裁剪减少所须考虑的策略数量,通过计算最小冲突覆盖集合以降低问题求解的规模,度量删除每一个静态职责分离策略和可用策略所引发的安全性与可用性损失,并以此评估各个冲突消解方案的优先级.最后给出了一种基于优先级的最大化一致性子基算法.实验结果表明所提出的冲突消解方法综合性能较为理想.

关键词：访问控制静态职责分离可用策略策略冲突优先级

在线全文

学校读者我要写书评

暂无评论

策略冲突的检测和解决方法研究

计算机工程与科学 2006年第5期28卷 18-22页

作者：韩智文朱培栋龚正虎国防科技大学计算机学院湖南长沙410073

基于策略的方法在分布式系统和网络管理领域已得到广泛实施。策略中的冲突会导致不一致的系统行为根据策略所作用的协议层次,将策略分为应用级和网络级两类。本文深入研究了每一类策略的冲突现象,并综述了冲突的检测和解决方法,对其优... 详细信息

基于策略的方法在分布式系统和网络管理领域已得到广泛实施。策略中的冲突会导致不一致的系统行为根据策略所作用的协议层次,将策略分为应用级和网络级两类。本文深入研究了每一类策略的冲突现象,并综述了冲突的检测和解决方法,对其优缺点加以分析;最后给出了未来的研究方向。

关键词：基于策略的管理策略冲突冲突检测冲突解决

在线全文

学校读者我要写书评

暂无评论

基于网元的策略冲突解决方法

计算机工程与应用 2007年第1期43卷 6-8,23页

作者：王峰北京邮电大学网络与交换技术国家重点实验室北京100876

策略冲突的解决是基于策略的网络管理系统正常运行的前提之一。论文提出了一种基于网元的策略冲突解决方法,以网元为单位构造策略优先级关系矩阵,用以解决与该网元相关的策略冲突问题。该方法避免了大矩阵的计算处理,从而减少了基于策... 详细信息

策略冲突的解决是基于策略的网络管理系统正常运行的前提之一。论文提出了一种基于网元的策略冲突解决方法,以网元为单位构造策略优先级关系矩阵,用以解决与该网元相关的策略冲突问题。该方法避免了大矩阵的计算处理,从而减少了基于策略的网络管理系统的计算成本。经实验验证,该方法可以有效地解决基于策略的网络管理系统中存在的策略冲突问题。

关键词：策略网络管理策略冲突网元

在线全文

学校读者我要写书评

暂无评论

RBAC策略冲突及其检测算法的研究

计算机工程 2010年第18期36卷 135-137页

作者：程相然陈性元张斌杨艳解放军信息工程大学电子技术学院郑州450004

针对RBAC模型在实施职责分离、最小特权等安全原则时引起的冲突问题,形式化定义5种RBAC策略冲突类型,分析策略冲突产生的原因,提出一种完整的策略冲突检测算法并进行仿真测试。结果表明,该算法能够有效检测定义的各类策略冲突,为RBAC策... 详细信息

针对RBAC模型在实施职责分离、最小特权等安全原则时引起的冲突问题,形式化定义5种RBAC策略冲突类型,分析策略冲突产生的原因,提出一种完整的策略冲突检测算法并进行仿真测试。结果表明,该算法能够有效检测定义的各类策略冲突,为RBAC策略冲突检测实施提供基础。

关键词： RBAC 策略策略冲突检测算法

在线全文

学校读者我要写书评

暂无评论

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

计算机应用 2016年第A2期36卷 6-10页

作者：吴世洲黄鹂声马绍良丘晓彤电子科技大学计算机科学与工程学院成都611731 中国工程物理研究院计算机应用研究所四川绵阳21900 电子科技大学格拉斯哥学院成都611731

针对当前冲突检测算法中存在的大量顺序比较运算导致冲突检测性能不高的问题,提出采用决策树模型的分类思想来提高策略冲突检测效率的方法。首先,为实现对规则中存在的复合型维度进行分类,采用分解算法分解复合型维度为集合;其次,为减... 详细信息

针对当前冲突检测算法中存在的大量顺序比较运算导致冲突检测性能不高的问题,提出采用决策树模型的分类思想来提高策略冲突检测效率的方法。首先,为实现对规则中存在的复合型维度进行分类,采用分解算法分解复合型维度为集合;其次,为减少策略规则之间的顺序比较,通过切割规则中的各个维度来构造决策树,实现对规则的分类;最后仅对决策树叶子节点中的规则进行顺序比较来检测所有规则之间可能存在的冲突。通过对规则进行分类,把可能存在冲突的规则切割到同一个叶子节点中,从而减少了不必要的顺序比较。实验结果表明,当策略规则达到2 000条时,冲突检测速度提高20倍以上,且规则越多,检测速度提升越明显。另外,冲突检测采用顺序比较,能保证冲突检测的准确性为100%。

关键词：策略冲突检测规则决策树

在线全文

学校读者我要写书评

暂无评论

基于XACML的策略冲突检测与消解方法

计算机科学与探索 2018年第1期12卷 1-16页

作者：王聪李瑞轩辜希武汤俊伟华中科技大学计算机科学与技术学院武汉430074

基于XACML(extensible access control markup language)的访问控制策略在云计算服务中得到广泛使用,其存在的问题也日益凸显,策略集的冲突检测与冲突消解问题就是其中之一。然而,目前学术界在冲突消解方面研究较少,现有的研究也仅能对... 详细信息

基于XACML(extensible access control markup language)的访问控制策略在云计算服务中得到广泛使用,其存在的问题也日益凸显,策略集的冲突检测与冲突消解问题就是其中之一。然而,目前学术界在冲突消解方面研究较少,现有的研究也仅能对冲突进行逐对消解,没有针对大量冲突的一次性消解方法,这在大规模云计算环境中是很难适用的。针对这个问题,从算法的角度出发,改进了原有的策略冲突检测方法,并设计了一种新的策略冲突一次性消解算法。该算法将安全规则映射到N维空间中,每一个维度表示一个属性,将定义复杂的安全策略在每一个属性上统一表示为几种基本数据类型的属性值集合,通过对简单集合的交集运算来进行冲突和冗余检测。在冲突消解时,将所有的冲突汇集到一起,运用有向无环图的拓扑排序来计算规则优先级,按优先级的顺序为每个规则构建一棵空间区域选择树,选取其对应的消解后的N维空间区域,完成大量冲突的一次性消解。实验表明,冲突检测和一次性消解算法是正确、高效和可行的。

关键词：可扩展的访问控制标记语言(XACML) 策略管理策略冲突冲突检测冲突消解