基于有序二元决策图的黑启动分区搜索策略 被引量：26

1

作者 刘映尚 吴文传 +2 位作者 冯永青 张伯明 余南鹏 《中国电机工程学报》 EI CSCD 北大核心 2008年第10期26-31,共6页

合理的黑启动分区可以实现多区域分区并举的启动,加快系统恢复进度。该文对黑启动分区进行了研究,建立了黑启动合理分区的定义和数学模型,并将该模型转化为布尔函数。设计和开发了一种基于两阶段的黑启动分区搜索算法。在第1阶段,采用... 合理的黑启动分区可以实现多区域分区并举的启动,加快系统恢复进度。该文对黑启动分区进行了研究,建立了黑启动合理分区的定义和数学模型,并将该模型转化为布尔函数。设计和开发了一种基于两阶段的黑启动分区搜索算法。在第1阶段,采用有序二元决策图(ordered binary decision diagram,OBDD)表示法来降低解空间;在第2阶段,利用安全分析等工具在收缩后的解空间内计算最优的分区方案。提出的算法可分阶段进行,因此具有很好的在线应用前景。针对IEEE标准系统和海南电网进行了深入的数值仿真研究,证明了模型和算法的有效性。 展开更多

关键词 恢复控制 有序二元决策图 黑启动分区

在线阅读 下载PDF 职称材料

一种基于有序二元决策图和布尔函数性质计算网络可靠性的算法 被引量：5

2

作者 熊飞 乔迪 +3 位作者 王宏祥 赵子岩 杨洪 沈亮 《电子与信息学报》 EI CSCD 北大核心 2014年第11期2786-2790,共5页

有序二元决策图(OBDD)被广泛用到网络可靠度的计算中,在基于OBDD计算网络可靠度时,其计算时间主要取决于参与操作的OBDD的大小,而OBDD的大小严重依赖于OBDD的变量序。该文根据布尔函数的性质和OBDD原理提出一种优化计算网络可靠性的算法... 有序二元决策图(OBDD)被广泛用到网络可靠度的计算中,在基于OBDD计算网络可靠度时,其计算时间主要取决于参与操作的OBDD的大小,而OBDD的大小严重依赖于OBDD的变量序。该文根据布尔函数的性质和OBDD原理提出一种优化计算网络可靠性的算法(BF-OBDD),提高计算网络可靠性的效率。实验结果表明改进的算法有较少的OBDD节点数量,在计算网络可靠性时,花费的时间较少。 展开更多

关键词 计算机网络 可靠性 网络拓扑图 有序二元决策图 变量序 布尔函数

在线阅读 下载PDF 职称材料

基于有序二元决策图的动态故障树定性分析方法 被引量：3

3

作者 高迎平 李洋 田楷 《计算机与数字工程》 2016年第12期2342-2347,共6页

关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构。动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基... 关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构。动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基于成分组合法的逆向转换法,该方法具有直接、高效等特点。实例验证表明该方法能够减少转化后有序二元决策图的节点数量和冗余结构,提高动态故障树定性分析的效率和效果。 展开更多

关键词 动态故障树 有序二元决策图 时序逻辑 逆向转换法

在线阅读 下载PDF 职称材料

一种基于有序二元决策图的低频减载新方案

4

作者 谭伟 易杨 林建熙 《广东电力》 2014年第2期79-83,共5页

为控制电力系统大容量机组跳闸时频率下降的问题,需要设计可靠的低频减载方案。针对传统方案存在的不足,设计了一种考虑负荷模型和系统有功备用的低频减载方案。该方案通过故障后系统频率变化率来估算系统功率缺额,充分考虑负荷模型、... 为控制电力系统大容量机组跳闸时频率下降的问题,需要设计可靠的低频减载方案。针对传统方案存在的不足,设计了一种考虑负荷模型和系统有功备用的低频减载方案。该方案通过故障后系统频率变化率来估算系统功率缺额,充分考虑负荷模型、系统备用的影响,确定切负荷量;根据负荷的频率调节特性确定切除的优先级;利用有序二元决策图(ordered binary decision diagram,OBDD)搜索切除方案可行解,针对可行解,考虑负荷的控制代价,确定最优的控制策略。该方案经在IEEE9节点系统上测试验证,能准确估算故障大小,并能快速得到最优切负荷方案,相比于传统的低频减载方案,具有自适应性强、控制代价小等优势。 展开更多

关键词 低频减载 频率调节因子 有序二元决策图(OBDD) 频率变化率

在线阅读 下载PDF 职称材料

基于有序二元决策图的分布式电源组网重构及其对配电网风险水平的影响 被引量：9

5

作者 董新 李莉 +4 位作者 李嫣然 于光波 巩晓静 沈倩 潘杰 《电力系统保护与控制》 EI CSCD 北大核心 2018年第16期119-126,共8页

配电网主网发生故障后微网将转入孤岛运行模式而脱离主网支撑。为了保证负荷有最大程度的功率支持进而降低整个配电网的失电风险水平,将有序二元决策图(OBDD)应用到分布式电源组网及重构策略的搜索过程中。提出了基于有序二元决策图(OB... 配电网主网发生故障后微网将转入孤岛运行模式而脱离主网支撑。为了保证负荷有最大程度的功率支持进而降低整个配电网的失电风险水平,将有序二元决策图(OBDD)应用到分布式电源组网及重构策略的搜索过程中。提出了基于有序二元决策图(OBDD)的分布式电源组网重构的四阶段方法,将含分布式电源的配电网故障后的组网、重构策略搜索问题等效为配电网中所有传输线路的通断问题。构建配电网的OBDD模型和目标函数,建立各约束条件的布尔表达式并求解,从而获得组网重构策略。针对配电网元件数目多、故障率高的特征,采用改进状态抽样法评估配电网风险水平,提高评估速度。实验证明,所提出的方法能够快速获得可行以及最优的组网和重构策略,并降低配电网的失电风险。 展开更多

关键词 配电网 风险 有序二元决策图 DG组网 重构

在线阅读 下载PDF 职称材料

基于ROBDD的布尔函数同构判定算法研究

6

作者 李红燕 高飞 《计算机工程与设计》 CSCD 北大核心 2011年第6期1938-1941,共4页

布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基... 布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度取决于求解变量的最优编序算法的时间复杂度和空间复杂度,笔者采用的算法时间复杂度为23,空间复杂度为3/。 展开更多

关键词 布尔函数 同构 简化有序二元决策图(robdd) 判定算法

在线阅读 下载PDF 职称材料

结合区块链和可追踪CP-ABE的数据存储与共享研究 被引量：2

7

作者 曾志兵 吴晓鸰 凌捷 《小型微型计算机系统》 CSCD 北大核心 2024年第4期919-925,共7页

传统密文策略属性基加密(CP-ABE)方案为资源受限的用户在云端安全存储与共享数据时,存在计算开销大和无法追踪恶意泄露密钥的用户问题,以及中心化的云存储容易造成信任和安全问题.针对上述问题,本文提出一种结合区块链和可追踪CP-ABE的... 传统密文策略属性基加密(CP-ABE)方案为资源受限的用户在云端安全存储与共享数据时,存在计算开销大和无法追踪恶意泄露密钥的用户问题,以及中心化的云存储容易造成信任和安全问题.针对上述问题,本文提出一种结合区块链和可追踪CP-ABE的数据存储与共享方案(BTABEDSS).数据所有者将数据密文存储在IPFS上,区块链上仅存储数据的唯一标识、数据的哈希值和数据密文在IPFS检索的内容哈希值等元数据信息,既保证了数据安全可信存储与访问,又缓解了区块链的存储压力.利用智能合约和CP-ABE协同实现数据的细粒度访问控制,只有满足访问控制策略的非恶意用户才能访问共享数据.使用椭圆曲线上的标量乘运算和表达性、计算性更优的有序二元决策图(OBDD)访问结构,有效降低了系统的计算和存储开销.使用概率加密方案将用户身份信息随机化处理后嵌入用户密钥,从而实现对恶意泄露密钥的用户进行高效追踪并撤销其访问权限.安全性与实验分析表明该方案安全可行,与对比方案相比,降低了系统运行成本和开销,提升了系统操作效率. 展开更多

关键词 区块链 CP-ABE IPFS 可信数据安全存储与共享 有序二元决策图

在线阅读 下载PDF 职称材料

支持即时属性间接撤销和用户追踪的CP-ABE方案

8

作者 张小梅 陈建伟 +1 位作者 谢金宏 王姝妤 《小型微型计算机系统》 CSCD 北大核心 2024年第6期1521-1528,共8页

针对传统密文策略的属性基加密(CP-ABE)方案中存在非即时的属性撤销以及不可靠的恶意用户追踪问题,提出了一种支持高效的属性间接撤销和白盒追踪的细粒度CP-ABE方案.首先,以有序二元决策图作为访问控制结构,基于椭圆曲线加密算法设计密... 针对传统密文策略的属性基加密(CP-ABE)方案中存在非即时的属性撤销以及不可靠的恶意用户追踪问题,提出了一种支持高效的属性间接撤销和白盒追踪的细粒度CP-ABE方案.首先,以有序二元决策图作为访问控制结构,基于椭圆曲线加密算法设计密文策略的属性基加密方案,并将变色龙哈希算法集成到区块链中,实现即时属性间接撤销.进一步,将关联用户身份ID和密钥的参数存储在追踪列表中,构建新的追踪算法,并将追踪列表上传至区块链,确保恶意用户无法抵赖其非法行为.特别地,采用云服务器存储不变密文和区块链存储策略密文这一双重密文存储模式,有效实现数据存储和用户细粒度访问控制管理之间的解耦.安全性分析证明所提方案在IND-CPA安全模型下是安全的,并能够抗合谋攻击;性能分析表明所提方案相比于其他方案在计算性能上更适合资源受限的终端设备. 展开更多

关键词 云计算 属性基加密 属性撤销 用户追踪 有序二元决策图

在线阅读 下载PDF 职称材料

电力系统低压减载和低频减载协调控制策略 被引量：28

9

作者 佘庆媛 沈沉 +1 位作者 乔颖 谭伟 《电力系统自动化》 EI CSCD 北大核心 2008年第23期23-27,共5页

低压减载和低频减载是分别解决电力系统中电压稳定问题和频率稳定问题的最常用手段。实际系统中,电压稳定问题和频率稳定问题往往是互相耦合、共同存在的,单独采用一种策略难以同时解决2个问题。文中提出了一种可以实现低压减载和低频... 低压减载和低频减载是分别解决电力系统中电压稳定问题和频率稳定问题的最常用手段。实际系统中,电压稳定问题和频率稳定问题往往是互相耦合、共同存在的,单独采用一种策略难以同时解决2个问题。文中提出了一种可以实现低压减载和低频减载协调控制的方法。该方法将切负荷控制中的优化问题转化成一个可满足性校验问题,然后采用"搜索+校验"的思路进行求解。求解过程中先采用有序二元决策图(OBDD)等快速搜索算法缩小决策空间,然后针对其中的策略进行可满足性校验。该方法不用求解复杂的多目标、混合整数优化问题,直接得到可行的切负荷策略。最后给出了基于此方法的仿真算例,并通过时域暂态仿真验证了结果的准确性。 展开更多

关键词 电力系统 低压减载 低频减载 有序二元决策图(OBDD)

在线阅读 下载PDF 职称材料

基于OBDD的通信网链路重要性评估 被引量：11

10

作者 赵勃 肖宇峰 刘岩 《系统工程与电子技术》 EI CSCD 北大核心 2011年第10期2348-2352,共5页

通信网的链路重要性评估是网络设计和维护的重要依据。在链路重要性评估方法上提出了一种基于有序二叉决策图(ordered binary decision diagram,OBDD)的新方法——BO(Birnbaum OBDD,BO)方法。该方法引入了Birnbaum测度来量化链路重要性... 通信网的链路重要性评估是网络设计和维护的重要依据。在链路重要性评估方法上提出了一种基于有序二叉决策图(ordered binary decision diagram,OBDD)的新方法——BO(Birnbaum OBDD,BO)方法。该方法引入了Birnbaum测度来量化链路重要性,并采用边扩张图(edge expansion diagram,EED)来创建网络的OBDD结构,在可靠度计算基础之上,通过分析链路故障时网络可靠度得到Birnbaum测度值。BO方法将高效的OBDD结构与hash表结合起来,并通过识别计算中出现的同构子网,减少冗余状态与重复计算来提高整体计算效率。引入并对比经典可靠性文献中一些规模较大网络,通过实验验证了BO方法不仅能正确地评估网络链路重要性,而且在计算效率方面优于因子分解方法。 展开更多

关键词 网络可靠性 可靠度评估 有序二元决策图 链路重要性

在线阅读 下载PDF 职称材料

一种面向知识编译的OBDD构造方法 被引量：1

11

作者 王金艳 胡春 高健 《广西师范大学学报（自然科学版）》 CAS 北大核心 2021年第4期47-54,共8页

知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技... 知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技术得到了深入研究,其目的是减少目标OBDD的大小并且缩短编译时间。OBDD的构造方式是影响编译效率的重要因素,为了提高编译时间效率,本文提出一种改进的OBDD构造算法,该算法将SAT问题的子句编译成OBDD的表示形式,并将这些OBDD合并成一个整体。不同于传统的合并算法逐一将OBDD合并到目标OBDD中,本文将一些OBDD先进行合并,然后再整合到目标OBDD中。对随机生成的SAT实例和产品配置问题的实验表明,本文提出的OBDD构造算法的性能优于原始算法。 展开更多

关键词 人工智能 知识编译 有序二元决策图 可满足性问题 离线预处理 在线推理

在线阅读 下载PDF 职称材料

基于OBDD的防空导弹系统效能评估研究

12

作者 赵保军 武昌 李阳 《现代防御技术》 北大核心 2007年第6期28-32,62,共6页

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算... 首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法。该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值。 展开更多

关键词 有序二元决策图(OBDD) 防空导弹 系统效能 可用性 可信性

在线阅读 下载PDF 职称材料

应用子网同构判定改进矩形网络可靠度计算

13

作者 肖宇峰 《小型微型计算机系统》 CSCD 北大核心 2015年第4期759-763,共5页

为改善矩形网络的可靠度计算效率,提出基于同构子网判定的矩形网络可靠度计算方法.在研究矩形网络结构特点的基础上,定义了不同的特殊矩形子网,并设计了识别其同构子网的hash表.在分解网络创建OBDD(OBDD,Ordered Binary Decision Diagr... 为改善矩形网络的可靠度计算效率,提出基于同构子网判定的矩形网络可靠度计算方法.在研究矩形网络结构特点的基础上,定义了不同的特殊矩形子网,并设计了识别其同构子网的hash表.在分解网络创建OBDD(OBDD,Ordered Binary Decision Diagram)时,对于首次出现的特殊矩形子网,其OBDD被记录进hash表中;再次出现的同构子网,其OBDD直接从hash表返回,避免为同构子网重复创建OBDD,从而减少冗余的可靠度计算.实验证明该方法不仅能正确计算矩形网络可靠度,而且能高效地分析一些大型矩形网络. 展开更多

关键词 网络可靠度 同构子网 矩形网络 有序二元决策图

在线阅读 下载PDF 职称材料

采用OBDD实现快速子匹配提取

14

作者 翟继强 周艳艳 +1 位作者 郭鹏姣 杨海陆 《广西大学学报（自然科学版）》 CAS 北大核心 2017年第5期1760-1766,共7页

为提高模式匹配算法中子匹配提取过程的时间效率,采用有序二元决策图(ordered binary decision diagram,OBDD)与布尔函数相结合的方法,完成了与PCRE(perl compatible regular expressions)和谷歌的RE2库的对比实验研究。结果表明:基于O... 为提高模式匹配算法中子匹配提取过程的时间效率,采用有序二元决策图(ordered binary decision diagram,OBDD)与布尔函数相结合的方法,完成了与PCRE(perl compatible regular expressions)和谷歌的RE2库的对比实验研究。结果表明:基于OBDD的子匹配算法的性能比PCRE和RE2提高了约一到两个数量级。 展开更多

关键词 正则表达式 非确定性有限自动机 布尔函数 有序二元决策图

在线阅读 下载PDF 职称材料

可防止无关属性干扰的属性基加密方案 被引量：2

15

作者 许城洲 张文涛 郎静宏 《计算机工程与科学》 CSCD 北大核心 2022年第5期800-809,共10页

为了提高属性基加密中访问结构的表达能力,同时避免访问结构中无关属性干扰,提出了一种基于简化有序二元决策图(ROBDD)访问结构的CP-ABE方案。该方案中ROBDD访问结构可有效表达具有复杂访问逻辑的访问策略,并可防止无关属性干扰,提高了... 为了提高属性基加密中访问结构的表达能力,同时避免访问结构中无关属性干扰,提出了一种基于简化有序二元决策图(ROBDD)访问结构的CP-ABE方案。该方案中ROBDD访问结构可有效表达具有复杂访问逻辑的访问策略,并可防止无关属性干扰,提高了加密速度。通过RSA属性认证机制进行ROBDD非叶子节点中属性认证,实现了抗串谋攻击和对用户属性集的保护。使用ROBDD中有效路径特征值和加密参数创建多项式,任何有效路径特征值经过多项式计算均可得到加密参数,降低了密文存储开销。该方案实现了用户撤销、用户属性撤销和系统属性撤销。性能分析和实验仿真表明,所提方案有更高的加解密效率,更低的密文存储开销。 展开更多

关键词 密文策略属性基加密 简化有序二元决策图 多项式 RSA属性认证

在线阅读 下载PDF 职称材料

支持复杂访问策略的属性基加密方案 被引量：2

16

作者 许城洲 李陆 张文涛 《计算机工程与科学》 CSCD 北大核心 2023年第10期1779-1788,共10页

针对属性基加密的访问结构,提出一种支持复杂访问策略的属性基加密方案。方案将简化有序二元决策图(ROBDD)作为访问结构,用户属性集对应ROBDD中一个路径,ROBDD不仅可以表示任何关于属性的布尔函数,还能通过简化访问结构中的节点减少有... 针对属性基加密的访问结构,提出一种支持复杂访问策略的属性基加密方案。方案将简化有序二元决策图(ROBDD)作为访问结构,用户属性集对应ROBDD中一个路径,ROBDD不仅可以表示任何关于属性的布尔函数,还能通过简化访问结构中的节点减少有效路径,防止无关属性干扰,从而降低加密阶段的计算开销。通过布尔函数整合有效路径特征值,密文不用额外存储复杂访问策略中的多个有效路径特征值,降低了密文存储开销。方案将属性认证计算外包给解密服务器,降低了解密阶段用户本地计算开销;使用群元素幂运算代替双线性配对,降低了方案的计算开销。方案在安全模型中被证明是INDCPA安全的。性能分析和实验仿真表明,本文方案的计算开销和存储开销更低。 展开更多

关键词 属性基加密 简化有序二元决策图 支持复杂访问策略 轻量级运算

在线阅读 下载PDF 职称材料

基于OBDD访问结构的无配对CP-ABE方案 被引量：9

17

作者 丁晟 曹进 李晖 《通信学报》 EI CSCD 北大核心 2019年第12期1-8,共8页

为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运... 为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运算替换为较为轻量级的标量乘法,降低了方案整体的计算开销。另一方面,所提方案采用基于OBDD的访问结构,该类型访问结构不仅能表示任何关于属性的布尔表达式,还能同时支持访问策略中属性的正负值,密钥的长度不随属性的个数而正比变化,密文长度也仅与访问策略中有效路径的个数有关。安全性和性能分析结果表明,所提方案在判定性Diffie-Hellman(DDH)假设下满足选择性选择明文安全,且方案的计算效率能满足物联网的实际应用需求。 展开更多

关键词 密文策略基于属性加密 有序二元决策图 椭圆曲线密码 无配对

在线阅读 下载PDF 职称材料

一种基于分级策略的电力营销大数据访问控制方案 被引量：8

18

作者 张悦 田秀霞 +1 位作者 颜赟成 卢官宇 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2021年第5期169-184,共16页

随着科技的发展,金融业信息化程度不断提高,金融行业和电力营销平台在紧密结合的同时,增加了用户与电力营销平台大数据(如客户基本档案数据、电能计量数据、电费回收数据等)的双向互动.而这种双向互动增加了数据泄露的风险.营销数据泄... 随着科技的发展,金融业信息化程度不断提高,金融行业和电力营销平台在紧密结合的同时,增加了用户与电力营销平台大数据(如客户基本档案数据、电能计量数据、电费回收数据等)的双向互动.而这种双向互动增加了数据泄露的风险.营销数据泄露会导致用电策略、电价等的错误制定,从而给电力企业带来巨大经济损失,严重影响电力企业的经济效益.因此,需要采用访问控制机制来满足电力营销系统数据交互的安全需求,从而保障电力企业的经济效益.提出了一个基于有序二元决策图(Ordered Binary Decision Diagram, OBDD)的密文策略、基于属性加密(Ciphertext Policy Attribute Based Encryption, CP-ABE)分级访问控制方案,解决了访问远程终端单元共享数据权限控制自主性过高的问题,并提高了数据访问的效率及安全性.最后,安全分析和性能分析表明,所提访问控制方案相较于其他方案更高效安全. 展开更多

关键词 电力营销 分级访问控制 有序二元决策图 基于属性加密的密文策略

在线阅读 下载PDF 职称材料

基于椭圆曲线加密且支持撤销的属性基加密方案 被引量：3

19

作者 孙京宇 朱家玉 +2 位作者 田自强 史国振 关川江 《计算机应用》 CSCD 北大核心 2022年第7期2094-2103,共10页

在云终端用户资源受限的场景中,传统属性基加密方案中存在着计算开销大以及不能实现实时撤销的不足。为了实现云端数据安全高效的共享,提出了一种基于椭圆曲线加密(ECC)算法且支持细粒度撤销的属性基加密方案。该方案使用计算较轻量级... 在云终端用户资源受限的场景中,传统属性基加密方案中存在着计算开销大以及不能实现实时撤销的不足。为了实现云端数据安全高效的共享,提出了一种基于椭圆曲线加密(ECC)算法且支持细粒度撤销的属性基加密方案。该方案使用计算较轻量级的椭圆曲线上的标量乘法代替传统属性基加密方案中计算开销较大的双线性配对,以降低系统中用户在解密时的计算开销,提高系统的效率,使方案更适用于资源受限的云终端用户场景。利用表达能力更强和计算更高效的有序二元决策图(OBDD)结构来描述用户定义的访问策略,以减少嵌入密文中的冗余属性来缩短密文长度。为每个属性建立一个由拥有该属性用户组成的属性组,并为组内每个成员生成唯一的用户属性组密钥。当发生属性撤销时,利用最小子集覆盖技术为组内剩余成员生成新的属性组,实现实时的细粒度属性撤销。安全分析表明,所提方案具有选择明文攻击不可区分性、前向安全性和后向安全性;性能分析表明,所提方案在访问结构表达和计算能力上优于(t,n)门限秘密共享方案和线性秘密共享方案(LSSS),其解密计算效率满足资源受限的云终端用户的需求。 展开更多

关键词 属性基加密 有序二元决策图 属性撤销 云计算 细粒度 椭圆曲线加密算法

在线阅读 下载PDF 职称材料

基于OBDD的轻量级属性基加密方案

20

作者 聂涵 沈卓炜 +1 位作者 于进 王科翔 《网络空间安全》 2022年第5期46-52,共7页

[目的/意义]尽管属性基加密方案中的访问结构形式多样,但是仅有有序二元决策图(Ordered Binary Decision Diagram,OBDD)访问结构可以表达非逻辑,基于访问结构的方案均未做轻量化处理,尤其是在数据终端资源受限的场景下,亟需解决计算轻... [目的/意义]尽管属性基加密方案中的访问结构形式多样,但是仅有有序二元决策图(Ordered Binary Decision Diagram,OBDD)访问结构可以表达非逻辑,基于访问结构的方案均未做轻量化处理,尤其是在数据终端资源受限的场景下,亟需解决计算轻量化问题.[方法/过程]在传统的OBDD属性基加密算法基础上,将离线/在线加密与外包解密相结合,提出了OBDD轻量化属性基加密方案,并证明满足了选择明文攻击安全性.[结果/结论]通过性能分析和仿真实验结果显示,现方案相比于已有方案更高效,能够满足资源受限数据终端用户的需求. 展开更多

关键词 属性基加密 有序二元决策图 离线/在线加密 外包解密 选择明文安全

在线阅读 下载PDF 职称材料