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

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 职称材料

基于OBDD的有向图的存储与操作研究 被引量：1

6

作者 杨志飞 古天龙 《计算机科学》 CSCD 北大核心 2007年第8期283-285,共3页

本文讨论了一种基于OBDD的有向图的存储结构,给出了基于OBDD的有向图的操作方法及搜索算法。实验结果表明,该存储结构与传统的邻接表的存储结构相比,在处理大规模的有向图时,具有较高的存储效率。

关键词 数据结构 存储结构 有序二叉决策图(obdd)

下载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 职称材料

约束满足问题求解的符号OBDD桶消元算法 被引量：4

9

作者 徐周波 古天龙 +1 位作者 常亮 李凤英 《计算机科学》 CSCD 北大核心 2011年第7期200-202,219,共4页

桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命... 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。 展开更多

关键词 约束满足问题 符号算法 桶消元 有序二叉决策图(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方法 被引量：2

11

作者 吕毅 姚志江 +1 位作者 魏道政 解永良 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第6期500-504,共5页

对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并... 对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并通过基于 OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态 。 展开更多

关键词 异步时序电路 特征函数 有序二元判决图 obdd

下载PDF 职称材料

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

12

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

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

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

下载PDF 职称材料

利用符号OBDD-LIST设计批处理包过滤防火墙

13

作者 徐周波 陈帅 +1 位作者 常亮 古天龙 《小型微型计算机系统》 CSCD 北大核心 2017年第5期1013-1016,共4页

为解决包过滤防火墙规则数目不断增加导致的存储空间膨胀和过滤速度降低的问题,提出一种基于有序二叉决策图与线性列表的混合结构(OBDD-LIST)的批处理包过滤防火墙算法.首先依据规则各域的特征属性对规则筛选分类,并使用位级别压缩的方... 为解决包过滤防火墙规则数目不断增加导致的存储空间膨胀和过滤速度降低的问题,提出一种基于有序二叉决策图与线性列表的混合结构(OBDD-LIST)的批处理包过滤防火墙算法.首先依据规则各域的特征属性对规则筛选分类,并使用位级别压缩的方式重新设计防火墙的规则库;然后基于连续传入的数据包包头信息具有相似性的特征,利用有序二叉决策图无冗余、无回溯的优势,采用批处理的思想过滤数据包;最后,通过开源软件Class Bench生成的高仿真数据包进行了仿真实验,证明本文算法在存储空间、匹配速率上具有较大的优势,有效提高了防火墙的性能. 展开更多

关键词 包过滤 有序二叉决策图(Older Binary Decision Diagram) obdd—LIST 批处理

下载PDF 职称材料

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

14

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

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

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

下载PDF 职称材料

约束满足问题求解的符号OBDD技术

15

作者 徐周波 古天龙 《桂林电子科技大学学报》 2010年第6期570-572,共3页

约束满足问题(CSP)是人工智能中一个重要的研究课题。通过讨论CSP的有序二叉决策图(OBDD)描述,给出了CSP的符号OBDD求解算法。其算法是在CSP的符号表示的基础上,首先对CSP中的所有变量根据其在约束图中的度的大小进行递增排序,然后按照... 约束满足问题(CSP)是人工智能中一个重要的研究课题。通过讨论CSP的有序二叉决策图(OBDD)描述,给出了CSP的符号OBDD求解算法。其算法是在CSP的符号表示的基础上,首先对CSP中的所有变量根据其在约束图中的度的大小进行递增排序,然后按照此变量序将CSP分成n个子问题分别进行求解,其中n为CSP中变量数,最后利用OBDD的"与"操作合并所有子问题,所得的OBDD即为满足所有约束的CSP的所有解。通过与桶消元算法和符号OBDD直接求解算法的实验对比,证明本算法具有明显的优越性。 展开更多

关键词 约束满足问题 符号算法 有序二叉决策图(obdd)

下载PDF 职称材料

同一变量排序下的多OBDD合并算法

16

作者 智慧来 《计算机工程与应用》 CSCD 2014年第17期20-23,共4页

有序决策图(OBDD)是一种用于表示布尔表达式的数据结构,并在许多领域得到了广泛应用。在分布式或者动态环境下,利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际问题解决效率的关键问题。基于Shannon分解原理提出了一... 有序决策图(OBDD)是一种用于表示布尔表达式的数据结构,并在许多领域得到了广泛应用。在分布式或者动态环境下,利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际问题解决效率的关键问题。基于Shannon分解原理提出了一个同一变量排序下的OBDD合并算法。该算法首先建立目标布尔表达式的表存储模型,然后按照变量排序的逆序,依次处理各个变量,并且合并取值相同的行,直到所有变量处理完毕。 展开更多

关键词 有序决策图(obdd) 同一变量排序 多有序决策图(obdd)合并 Apply算法 ORDERED BINARY DECISION Diagrams(obdd)

下载PDF 职称材料

一种面向知识编译的OBDD构造方法

17

作者 王金艳 胡春 高健 《广西师范大学学报（自然科学版）》 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实现快速子匹配提取

18

作者 翟继强 周艳艳 +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 职称材料

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

19

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

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

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

下载PDF 职称材料

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

20

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

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

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

下载PDF 职称材料