国家自然科学基金(61250007)
- 作品数：16 被引量：45H指数：3
- 相关作者：周清雷斯雪明张文宁李斌穆瑞辉更多>>
- 相关机构：郑州大学解放军信息工程大学中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划河南省自然科学基金更多>>
- 相关领域：自动化与计算机技术生物学更多>>
- 一种新型的混合异构口令恢复系统被引量：2
- 2018年
- 口令恢复作为电子取证、信息情报获取和犯罪记录审查的重要手段,是对互联网信息进行监控、维护网络信息安全的关键环节之一.传统的口令恢复系统主要以CPU和GPU为主,体系结构单一、破解效率低,无法满足用户的计算需求.由此,该文提出了一种新型的混合异构口令恢复系统.结合拟态计算的思想,通过CPU、GPU和拟态计算机搭建混合异构系统,建立多维可重构体系.并在拟态计算机上设计相关高速口令穷举算法、万兆网络字典传输协议和全流水可重构加密恢复算法,提高破解效率.同时,根据具体口令恢复应用的PMC(Processing-Memory-Communication)特征,动态调整系统结构,均衡向下分配口令空间,使整个系统高效地完成加密恢复任务.实验分析和结果表明,与传统CPU系统相比,该文系统在破解速度上提高18.84倍～84.94倍,在能效比上提高3.07倍～15.73倍,与传统口令穷举和字典破解模式相比,其恢复效率有所提升,且能较好地支持异构系统.
- 李斌周清雷斯雪明
- 基于拟态计算机的SHA512算法高吞吐量实现被引量：3
- 2018年
- 哈希函数SHA512是一种目前广泛使用的加密算法,在现代加密学中占据很重要的地位。鉴于拟态计算机高性能和高效能的特点,对SHA512算法进行了深入分析,提出了基于拟态计算机的全流水线结构的实现方案。为了提高算法的运算速率,在关键路径对加法运算进行了优化,并且配合全流水线结构,减少了加密一个数据分组所需要的时钟周期数,提高了数据吞吐率。在拟态计算机上实际运行,芯片工作在130MHz的时钟频率下,数据吞吐率达到133 120 Mbits/s,性能得到了显著提高,且能效比高于通用服务器的能效比。
- 席胜鑫张文宁周清雷斯雪明李斌
- 关键词：哈希函数CSA
- PUF-NLHB:基于PUF的轻量级认证协议被引量：2
- 2014年
- 基于GRS攻击模型设计了针对PUF-HB类协议的攻击方法,证明了该类协议不具备抵御中间人攻击的能力.在此基础上,针对PUF-HB协议的漏洞,通过加入非线性函数的方法设计了PUF-NLHB协议并给出具体的硬件实现结构,在随机oracle模型下通过向LPN问题的规约严格证明了新协议的安全性,增强了协议应对中间人攻击的能力.
- 李艳周清雷
- 关键词：PUF中间人攻击非线性函数
- 新物联网下的RFID双向认证协议被引量：9
- 2015年
- 针对物联网发展的新形势提出一个新型的双向认证协议.有别于传统的RFID认证协议,通过基于零知识证明的认证方法来认证成员身份,并将参与主体的身份安全规约到其自身身份密钥的安全性上.解决了传统的基于加密算法的认证协议中主体的身份安全依赖于所有参与实体信息安全的问题.新协议能够满足一个标签在多个互联的RFID系统中应用时的认证安全.本文给出新协议的详细描述,并且用基于串空间模型的形式化证明方法证明了协议至少满足认证性、秘密性和标签不可追踪性的要求.
- 王坤周清雷
- 关键词：身份识别零知识证明信息安全形式化证明
- 基于拟态计算的大数据高效能平台设计方法被引量：10
- 2019年
- 针对当前大数据应用主要以通用处理器为计算核心,且系统结构单一、能效比低,无法充分满足大数据的计算需求,基于拟态计算模型,提出了一种大数据高效能平台的设计方法。以算粒为基本研究对象,深入剖析大数据应用算法的特征,合理划分各计算子任务;其次,构造体系结构匹配矩阵,将子任务分配到合理的处理部件上;最后,利用动态电压/频率调节技术和数据布局算法实现非关键任务的电压控制,并优化关键任务的结构布局。实验结果表明,拟态计算能深度融合各异构计算部件,建立具有灵活、可拓展的体系结构,充分发挥系统整体执行效率,降低功耗,提高能效比。
- 李斌周清雷斯雪明聂凯
- 关键词：大数据匹配矩阵能效比
- 混合拓扑结构的粒子群算法及其在测试数据生成中的应用研究被引量：7
- 2017年
- 粒子群算法(PSO)的拓扑结构是影响算法性能的关键因素,为了从根源上避免粒子群算法易陷入局部极值及早熟收敛等问题,提出一种混合拓扑结构的粒子群优化算法(MPSO)并将其应用于软件结构测试数据的自动生成中。通过不同邻域拓扑结构对算法性能影响的分析,采用一种全局寻优和局部寻优相结合的混合粒子群优化算法。通过观察粒子群的多样性反馈信息,对每一代种群粒子以进化时选择全局拓扑结构模型(GPSO)或局部拓扑结构模型(LPSO)的方法进行。实验结果表明,MPSO使得种群的多样性得到保证,避免了粒子群陷入局部极值,提高了算法的收敛速度。
- 焦重阳周清雷张文宁
- 关键词：粒子群算法测试数据自动生成拓扑结构全局寻优局部寻优
- 基于信息增益的软件特征技术被引量：1
- 2014年
- 在传统的k-gram方法提取的特征的基础上,为了选出更加有效的特征,提出了一种新的特征选择方法——信息增益。由于针对信息增益方法中未对特征碎片的词频给予足够重视,从而导致特征分布不均的问题,将特征频率应用于信息增益方法上,提出了一种基于信息增益的改进方法。实验表明,该方法有很好的可信性和鲁棒性,与同类方法相比有明显优势,是对软件特征技术有意义的探索。
- 李菲菲周清雷
- 关键词：特征提取信息增益
- P-HB#:基于物理不可克隆函数的轻量级认证协议
- 2015年
- 在分析HB#协议和OOV-MIM攻击的基础上,针对HB#协议的缺陷,基于物理不可克隆函数设计了P-HB#协议,并给出具体的硬件实现结构.新协议通过引入轻量级的n-n PUF,实现在低资源占用量的情况下提供较高的安全性.文章在DET模型下通过向LPN问题的规约严格证明了协议的安全性,在GRS-MIM和OOV-MIM模型下分析表明新协议具备了抵御相应中间人攻击的能力,提供了低功耗、防篡改、可证明的安全认证.
- 李艳周清雷邹伟
- 关键词：PUF
- 基于云计算的虚拟机在线迁移算法被引量：2
- 2015年
- 构建了在线迁移算法模型和虚拟机负载评估向量,并依据各物理节点的带宽占用率、内存占用率和CPU占用率,确定迁移时机和需要迁移的源物理节点,依据CPU在各节点的占有率、ROM的使用效率、带宽的利用率来确定目标物理节点。通过仿真模拟环境试验证明,文中算法在虚拟机在线迁移中能够大幅度地提高物理节点的负载均衡,同时SLA违反率最小和云计算数据中心能耗最小。
- 穆瑞辉
- 关键词：虚拟机
- CPU+GPU异构并行的矩阵转置算法研究被引量：3
- 2019年
- 针对当前算法优化研究一般局限于单一硬件平台、很难实现在不同平台上高效运行的问题,利用图形处理器(GPU)提出了基于开放式计算语言(OpenCL)的矩阵转置并行算法.通过矩阵子块粗粒度并行、矩阵元素细粒度并行、工作项与数据的空间映射和本地存储器优化方法的应用,使矩阵转置算法在GPU计算平台上的性能提高了12倍.实验结果表明,与基于CPU的串行算法、基于开放多处理(OpenMP)并行算法和基于统一计算设备架构(CUDA)并行算法性能相比,矩阵转置并行算法在OpenCL架构下NVIDIA GPU计算平台上分别获得了12.26,2.23和1.50的加速比.该算法不仅性能高,而且实现了在不同计算平台间的性能移植.
- 肖汉肖汉李彩林周清雷
- 关键词：图形处理器
