OBDD

作品数：92被引量：168H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：古天龙徐周波常亮高申林争辉更多>>
相关机构：桂林电子科技大学清华大学西安电子科技大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金国家高技术研究发展计划美国国家科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
格上基于OBDD访问结构的抗密钥滥用属性加密方案被引量：1
《通信学报》2023年第1期75-88,共14页韩益亮 郭凯阳 吴日铭 刘凯 
国家自然科学基金资助项目(No.61572521);陕西省自然科学基础研究计划基金资助项目(No.2021-JM252)。
为了解决属性加密中的密钥安全问题,基于环上误差学习(RLWE)和有序二元决策图(OBDD)访问结构提出了一种抗密钥滥用的密文策略属性加密方案。首先,构造了2个不同的机构来共同生成用户的私钥,降低了机构泄露密钥的风险;其次,在每个私钥中...
关键词：属性加密 抗密钥委托滥用 可追踪性 访问结构 
燃气输配信息物理融合系统的拆分策略研究
《控制工程》2022年第6期1065-1071,共7页李冀 胡海鹏 吴晓君 
陕西省自然科学基金资助项目(2019-JM-566)。
近年来,随着燃气网络规模扩大及自动化和信息化程度的提高,燃气系统安全管理的复杂性也随之增加。由于系统的复杂程度和运行成本较大,当某节点受到来自内部或外部的威胁引起故障时,很难在短时间内实现燃气系统的检修,从而造成更大规模...
关键词：燃气网络 OBDD 并行计算 流量平衡 
基于OBDD的轻量级属性基加密方案
《网络空间安全》2022年第5期46-52,共7页聂涵 沈卓炜 于进 王科翔 
国家重点研发计划(项目编号:2018YFB1800602)。
[目的/意义]尽管属性基加密方案中的访问结构形式多样,但是仅有有序二元决策图(Ordered Binary Decision Diagram,OBDD)访问结构可以表达非逻辑,基于访问结构的方案均未做轻量化处理,尤其是在数据终端资源受限的场景下,亟需解决计算轻...
关键词：属性基加密 有序二元决策图 离线/在线加密 外包解密 选择明文安全 
一种面向知识编译的OBDD构造方法被引量：1
《广西师范大学学报（自然科学版）》2021年第4期47-54,共8页王金艳 胡春 高健 
国家自然科学基金(61763003);广西多源信息挖掘与安全重点实验室系统性研究课题(19-A-02-01);广西研究生教育创新计划(XYCSZ2020072);广西高等学校千名中青年骨干教师培育计划;“八桂学者”工程专项;广西区域多源信息集成与智能处理协同创新中心项目。
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技...
关键词：人工智能 知识编译 有序二元决策图 可满足性问题 离线预处理 在线推理 
基于雾计算的权重OBDD访问结构属性密码体制研究被引量：1
《电视技术》2021年第8期95-101,共7页赖霖汉 缪祥华 
基于密文策略的属性密码体制在云存储中对于实现数据的安全分享和细粒度访问控制起到了关键性的作用,但基于密文策略的属性密码体制存在效率低、访问策略不灵活以及单一属性授权中心带来的单点失效威胁问题。对此,提出基于雾计算的权重...
关键词：基于属性的密码体制 外包计算 权重 有序二叉决策图 
可追踪且可撤销的基于OBDD访问结构的CP-ABE方案被引量：3
《计算机应用研究》2021年第4期1185-1189,共5页汪倩倩 欧毓毅 
国家自然科学基金资助项目(61572144);广东省科技计划资助项目(2017A050501035);广州市科技计划资助项目(201807010058)。
针对现有属性撤销方案中存在对恶意用户的不可追踪性、用户属性不能即时撤销的问题,提出了一种可追踪且可撤销的,基于有序二叉决策图(OBDD)访问结构的,高效、有表达力、可撤销的密文策略属性基加密(CP-ABE)方案。该方案实现了用户属性...
关键词：属性撤销 属性基加密 可追踪 有序二叉决策图 
基于OBDD访问结构的无配对CP-ABE方案被引量：9
《通信学报》2019年第12期1-8,共8页丁晟 曹进 李晖 
国家重点研发计划基金资助项目(No.2017YFB0802700);国家自然科学基金资助项目(No.61772404,No.U1836203)~~
为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运...
关键词：密文策略基于属性加密 有序二元决策图 椭圆曲线密码 无配对 
基于OBDD的信号处理任务智能加卸载算法
《计算机工程》2019年第11期225-233,242,共10页谢宗甫 高博 岳春生 
国家科技支撑计划项目(2013BAH56F00)
为实现信号处理平台中应用任务的快速动态加卸载和智能切换,提出一种基于有序二叉决策图(OBDD)的智能加卸载算法。在分析智能加卸载整体系统构成的基础上,构建信号处理平台软硬件资源模型、态势参数定义字典和智能加卸载规则库。通过基...
关键词：动态加载 智能切换 软硬件资源模型 参数定义字典 规则库 有序二叉决策图 
基于符号OBDD的子图同构约束求解算法被引量：1
《桂林电子科技大学学报》2019年第5期357-362,共6页刘桂珍 徐周波 
国家自然科学基金(61762027);广西自然科学基金(2017GXNSFAA198172);桂林电子科技大学研究生教育创新计划(2017YJCX54,2017YJCX08)
针对求解子图同构问题计算复杂性较高的问题,提出了一种基于符号OBDD的子图同构约束求解算法(OBDD-SI)。该算法对子图同构进行CSP建模,采用OBDD对该模型进行隐式表示和刻画。结合OBDD符号操作技术和回溯算法进行求解,执行弧一致性技术...
关键词：子图同构 约束满足问题 有序二叉决策图 弧一致性 
两类布尔函数的OBDD阶
《软件工程与应用》2018年第6期283-288,共6页张媛 江建国 胡晓璐 
OBDD是布尔函数的一种有效的图形化表示形式。布尔函数的OBDD的阶数对布尔变量的序敏感。本文研究了DNF型和CNF型两种类型布尔函数,给出了这两类函数在一种特定变量序下的OBDD阶的准确值,并证明了这个结论。
关键词：OBDD 变量序 DNF CNF 布尔函数 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部