国家自然科学基金(61072047) 作品数:34 被引量:147 H指数:6 相关作者: 李峥 徐开勇 顾纯祥 祝跃飞 郭松辉 更多>> 相关机构: 解放军信息工程大学 中国人民解放军信息工程大学 河南财经政法大学成功学院 更多>> 发文基金: 国家自然科学基金 国家重点实验室开放基金 河南省科技攻关计划 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 自然科学总论 更多>>
利用容错学习问题构造基于身份的全同态加密体制 被引量:13 2014年 基于容错学习问题构造的一类全同态加密体制在云计算安全领域具有重要的潜在应用价值,但同时普遍存在着公钥尺寸较大的缺陷,严重影响其身份认证与密钥管理的效率。将基于身份加密的思想与基于容错学习问题的全同态加密相结合,提出一种基于身份的全同态加密体制,能够有效克服公钥尺寸对于全同态加密应用效率的影响。在随机喻示模型下,体制的安全性归约到容错学习问题难解性和陷门单向函数单向性,并包含严格的安全性证明。 光焱 祝跃飞 费金龙 顾纯祥 郑永辉关键词:基于身份加密 基于Xen的域间切换方法研究 2012年 为解决开源虚拟化系统的桌面切换问题,提出一种基于Xen的域间切换方法。利用Xen虚拟化支持Intel VT-x的硬件,使用RFB协议根据配置文件连接到VNC Server端,以显示虚拟机桌面,通过加密切换指令验证信息,从而完成域间切换。实验结果表明,该方法能实现Windows域和Linux域的桌面切换。 施佳铁 徐宁 刘文清 杜丽霞关键词:虚拟化 格上随机喻示模型下带关键字检索的公钥加密体制 2014年 近年来,基于格的密码体制受到越来越多的关注。这类密码具有诸多潜在优势:抗量子攻击、并行性好、概念简单、安全性所基于的困难问题的随机实例难解性等价于格上公认困难问题最坏情况等。带关键字检索的公钥加密(PEKS)体制是一种具有关键字检索功能的加密机制:用PEKS加密的关键字w的密文和加密消息存储在服务器上,用户向服务器发送一个秘密值Tw,服务器可以搜索出所有包含该关键词w的加密消息,但无法知晓w本身的任何内容。提出了一种基于格的带关键字检索的公钥加密体制,并在随机喻示模型下,基于格上带错误的学习(Learning With Errors)问题的困难性假设证明了新体制的安全性。 顾纯祥 郑永辉 祝跃飞 段然关键词:可证安全 基于Radix-4 Booth编码的乘法器优化设计 被引量:5 2012年 传统Radix-4 Booth编码在负值部分积生成过程中会产生大量求补操作,影响乘法器的工作效率。为此,提出一种重组部分积的乘法器优化设计。通过增加一个"或"门运算以及重组硬连线,避免求补过程中的加法运算,并且未产生多余的部分积。在32位乘法器上的验证结果表明,该设计能有效减小关键路径延迟和芯片面积消耗。 陈海民 李峥 谢铁顿关键词:乘法器 部分积 高等教育大众化背景下成人高等教育创新发展的对策 被引量:2 2016年 随着高等教育大众化的发展及终身学习理念的深入,成人高等教育在高等教育及终身学习体系中的价值得以凸显,面临前所未有的发展机遇与挑战。基于此,文章从相关概念界定入手,分析了高等教育大众化背景下我国成人高等教育发展中存在的问题,在此基础上提出了成人高等教育创新发展的具体对策。 王晓燕关键词:高等教育大众化 成人高等教育 基于关键页覆写的数据清除技术 被引量:2 2015年 针对如何彻底清除Flash型安全存储器中敏感数据这一课题,提出一种逐块清除数据块,并通过覆写关键页重建文件系统的数据清除方案KPOW,其能有效解决数据残余问题。与普通删除、强力删除、格式化3种方法进行实验对比,对比结果表明,在文件删除后数据残余方面,KPOW表现更为突出;在执行效率方面,KPOW耗时较短,且与数据类型规模无关。 郭松辉 王玉龙 邵奇峰 牛小鹏关键词:敏感数据 嵌入式微处理器分支预测的设计与实现 被引量:2 2011年 针对五级流水线嵌入式微处理器的特定应用环境,对分支预测技术进行了深入研究,提出了一种新的分支预测方案。该方案兼容带缓存设计,通过扩展指令总线,在取指段提前对分支指令跳转方向和目标地址进行预测,保存可能执行而未执行的指令和地址指针以备分支预测失效时得以恢复,减少了预测失效的代价,同时保证了指令流的正确执行。研究表明,该方案硬件开销小,预测效率高,预测失效代价低。 陈海民 李峥 王瑞蛟关键词:嵌入式微处理器 流水线 密码SoC中数据存储保护机制研究与设计 被引量:1 2011年 基于一款自主知识产权密码SoC的研发需求,定义了该密码SoC生命周期中涉及到的相关人员类型,给出了一种存储器分区管理方案;对不同人员类型的访问权限进行分配,给出了一种权限裁决电路的设计原理。最后,对存储保护机制进行了实现,并对其进行了FPGA原型验证。结果表明,该设计满足预期权限控制要求,可为软/硬件一体化设计更复杂的存储保护功能提供最基础的读写保护。 杨先文 李峥 王安关键词:现场可编程门阵列 基于改进Apriori算法的审计日志关联规则挖掘 被引量:49 2016年 针对安全审计系统中存在的智能程度低、日志信息没有充分利用的问题,提出一个基于关联规则挖掘的安全审计系统。该系统充分利用已有审计日志,结合数据挖掘技术,建立用户及系统的行为模式数据库,做到及时发现异常情况,提高了计算机的安全性。在传统Apriori算法的基础上提出一种改进的E-Apriori算法,该算法可以缩小待扫描事务集合的范围,降低算法的时间复杂度,提高运行效率。实验结果表明基于关联规则挖掘的审计系统对攻击类型的识别能力提升在10%以上,改进的E-Apriori算法相比经典Apriori算法和FP-GROWTH算法在性能上得到了提高,特别是在大型稀疏数据集中最高达到51%。 徐开勇 龚雪容 成茂才关键词:安全审计系统 审计日志 数据挖掘 关联规则挖掘 APRIORI算法 标准模型下CCA2安全且固定密文长度的模糊基于身份加密方案 被引量:2 2013年 模糊基于身份加密体制为基于身份密码提供了检错能力,并且可以把消息加密后同时发送给多个具有相同属性的用户.本文提出了一种在标准模型下能抵抗适应性选择密文攻击,并且密文长度达到了固定值的模糊基于身份加密方案.与现有方案相比,本方案占用通信带宽低,计算效率高,具有更高的安全性,因此能更好的满足应用要求. 葛爱军 马传贵 程庆丰关键词:双线性对