公共文化服务平台

倪亮: 作品数：10 被引量：37H指数：4; 供职机构：中原工学院计算机学院更多>>; 发文基金：河南省科技攻关计划国家自然科学基金国家留学基金更多>>; 相关领域：自动化与计算机技术文化科学电子电信核科学技术更多>>

合作作者

《网络安全技术》课程教学改革探讨被引量：19: 2016年; 本文根据《网络安全技术》课程传统教学模式中存在的问题及课程教学目标、特点对其教学改革进行探讨,力图将教学理论与实践相结合。在教学中提出学、教统一的新理念,采取多元化的教学方式和评价体系,并探索校企合作的课程建设机制,以充分发挥学生的主动性和创造性,切实提升其能力和素质。经实践检验,采用该教学模式取得较好教学效果,值得同类课程借鉴。; 倪亮李向东潘恒夏冰潘磊郑秋生; 关键词：网络安全技术教学改革教学方法

适用于智能家居的格上基于身份多方认证密钥协商协议被引量：1: 2024年; 随着物联网应用的日益普及,物联网设备终端数量激增、种类多样、层次复杂,常处于不可控的环境之中,因此,确保数据传输过程的安全性和隐私性至关重要。对基于物联网架构的智能家居服务进行探讨得出,启用智能家居应用需涉及多个方面,如用户、云、物联网智能集线器(the IoT smart hub,ISH)和智能设备,它们需要多方验证以进行安全通信。由此提出了一种针对智能家居应用的格上基于身份多方认证密钥协商协议,并证明在eCK模型下是安全的。其安全性可以归约到环上带误差学习(ring learning with errors,RLWE)问题的困难性,能够抗量子计算攻击。所提协议由一个格上基于身份的加密方案转换而成,无须公钥证书,避免了部署一个庞大的公钥基础设施(public key infrastructure,PKI)。通过信息交互实现显式认证,且可具有一定的匿名性质,与其他相关的后量子格上多方认证密钥协商协议方案相比,该协议在安全性和执行效率方面更具优势。; 倪亮刘笑颜谷兵珂张亚伟周恒昇张亚伟; 关键词：智能家居基于身份密码匿名性

可证明安全的后量子两方口令认证密钥协商协议被引量：2: 2023年; 口令认证密钥协商可以在客户机和服务器之间建立安全的远程通信,且可以将一个低熵口令放大为一个高熵的会话密钥。然而,随着量子计算技术的快速发展,基于大数分解和离散对数等经典数学难题的PAKA协议面临着严峻的安全挑战。因此,为了构建一个高效安全的后量子PAKA协议,依据改进的Bellare-Pointcheval-Rogaway(BPR)模型,提出了一个基于格的匿名两方PAKA协议,并且使用给出严格的形式化安全证明。性能分析结果表明,该方案与相关的PAKA协议相比,在安全性和执行效率等方面有一定优势,更适用于资源受限的物联网(Internet of Things, IoT)智能移动设备。; 倪亮张亚伟王念平周恒昇刘笑颜谷兵珂; 关键词：可证明安全

信息安全系统软件开发的工程化研究: 大型分布式系统的安全性已成为人们优先考虑的主要问题。越来越多的软件弱点的出现已不止一次地表明这些系统的设计和工程化经常存在着安全方面的缺陷。安全性质往往在系统集成阶段后期才被特意地加入，这常会导致可被恶意利用的错误和弱点...; 倪亮陈恭亮李建华; 关键词：分布式系统信息安全软件开发; 文献传递

一种生成机读词典的方法: 2005年; 论文首先分析了词典的现状,提出了一种将现有词典转换成XML形式的机读词典方法,该方法分两步实现现有词典转换成数据库,再将数据库转换成为XML形式的词典。并提出了一套适合于词典标注的中文XML的词汇表,利用它对词典进行标注,使词典的可读性得到很大的提高。最后初步实现了一个汉语词典的集成处理系统。; 裴炳镇倪亮陈晓明陆汝占; 关键词：XML 词汇表词典

eCK模型的安全性分析被引量：4: 2013年; 认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法,eCK模型正受到越来越多的关注,而其所能提供的确切安全保证值得深入探究。由此,对eCK模型定义和有关认证密钥协商协议基本良好安全性质之间的关系进行了详细分析。结论表明在eCK模型下可证明安全的认证密钥协商协议具备大多数基本的良好安全性质。据此总结了eCK模型的优势和不足。; 倪亮陈恭亮李建华; 关键词：认证密钥协商协议可证明安全性

基于离线模型预训练学习的改进DDPG算法: 2022年; 针对DDPG(deep deterministic policy gradient)在线训练过程中陷入局部极小值及产生大量试错动作和无效数据的问题,提出一种基于离线模型预训练学习的改进DDPG算法。利用已有数据离线训练对象状态模型和价值奖励模型,提前对DDPG中动作网络和价值网络进行预训练学习,减少DDPG前期工作量并提升在线学习的品质。加入DDQN(double deep Q-Learning network)结构解决Q值估计偏高问题。仿真结果中获取平均累积奖励值提升了9.15%,表明改进算法有效提高了DDPG算法效果。; 张茜王洪格倪亮

自然循环中朝下曲表面临界热流密度试验研究: 日本福岛核事故成为继美国三里岛、前苏联切尔诺贝利核事故以来的最严重的核灾难,反思这次教训,单独依靠事故预防在现实条件下已经无法满足更高的核电站安全需求,反应堆严重事故缓解得到更大的重视。我国引进消化吸收AP1000第三代...; 倪亮; 关键词：核事故; 文献传递

关于认证密钥协商协议若干问题的研究: 密钥协商协议是在开放网络中实现安全通信的重要手段。借助密钥协商协议，两个或多个参与者通过利用其长期私钥和在开放网络中交换的临时消息能够生成一个共享会话密钥。此共享的秘密会话密钥被用于后续的安全通信。认证密钥协商协议不仅允...; 倪亮; 关键词：认证密钥协商协议消息通信双线性配对; 文献传递

基于格的抗量子认证密钥协商协议研究综述被引量：4: 2020年; 最近在量子计算研究领域所取得的进展对当前网络安全协议中大多数的安全性依赖传统数论难题的方案构成了严重的潜在安全威胁,作为基础性网络安全协议的认证密钥协商协议首当其冲。由此,抗量子认证密钥协商协议成为了近来的一个研究热点。其中,基于格的后量子密码(Post-Quantum Cryptography)方案由于安全性强、计算效率高,于近年得到了广泛重视且现在正快速发展,有望被列入未来的抗量子密码算法标准。文中重点关注基于格的后量子认证密钥协商协议研究。首先,对抗量子认证密钥协商协议的研究背景进行介绍,并对当前基于格的后量子密码方案安全性设计所基于的主要计算性困难问题进行描述;接着,对现有典型基于格的后量子认证密钥协商协议进行概述,并以两方协议为主要研究对象,对相关方案的基本构造模式和若干当前典型相关协议的性能进行讨论、分析和比较;最后,对当前研究中存在的问题进行总结,并对相关研究的未来发展进行展望。; 倪亮王念平谷威力张茜刘伎昭单芳芳; 关键词：认证密钥协商可证明安全