王永娟
- 作品数：21 被引量：72H指数：5
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金中国博士后科学基金国家密码发展基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- 基于半监督学习的AES算法功耗分析
- 2021年
- 基于机器学习的功耗分析是目前功耗分析的主要研究方向之一,属于建模类的攻击.针对无掩码防护的AES算法实现,本文将半监督机器学习算法Tri-Training应用于功耗分析,有效减少了用机器学习算法进行建模时所需要的有标记能量迹数量.相较于基于有监督机器学习的建模类功耗分析,使用Tri-Training算法可以有效减小对有标记能量迹的需求,更具有现实意义.然而,Tri-Training算法在初始分类器较弱时,容易出现错误标记现象,影响分类的准确率和建模的效率.对此本文在使用Tri-Training算法进行建模时引入了阈值判断操作,提高了分类的准确率,并对比了不同阈值对分类准确率的影响.本文对在ATM89S52单片机上实现的AES-128算法进行建模类功耗分析,实验结果表明,在使用80条有标记能量迹时,相较于使用有监督学习算法的准确率为63.49%,本方法的准确率为74.56%,准确率提升了约11%.
- 王相宾王永娟赵远赵远袁庆军
- 关键词：功耗分析半监督学习
- 从一道大学生数学竞赛试题谈数学的符号思维
- 2022年
- 从第九届全国大学生数学竞赛决赛的一道考查中值定理的题目入手,通过改变原题目中的几个关键符号,得到构造辅助函数的重要启示,进而结合微积分的发展史,说明了数学符号思维的重要性。
- 滕吉红王永娟鲁志波
- 关键词：中值定理辅助函数微积分
- 区块链安全方向研究生培养模式探索与实践被引量：1
- 2023年
- 针对区块链人才培养发展现状与教学实际,分析归纳现存的主要问题,从人才培养方案、课程体系、教学方法改革等方面提出区块链专业研究生培养若干措施建议,并以信息工程大学网络空间安全学科区块链安全方向人才培养为例,阐述了具体的人才培养做法和过程,通过完整两届研究生的探索实践取得了良好的区块链高端技术人才培养效果。
- 王永娟斯雪明于刚于刚
- 关键词：区块链网络空间安全密码学研究生培养
- 针对AES-128算法的密钥优势模板攻击被引量：5
- 2020年
- 模板攻击分为模板刻画和密钥恢复两个阶段.针对AES-128算法,模板攻击为每一字节密钥构建256个模板,当攻击者仅获得1000条左右的能量迹时将面临两个问题:一是模板刻画不具有适用性,二是无法恢复正确的密钥.针对这些问题,本文在模板刻画阶段为S盒输出值的汉明重量构建9个模板,利用Panda 2018数据集提供的600条能量迹进行建模;在密钥恢复阶段提出密钥优势叠加的方法,仅需约10条相同密钥加密所产生的能量迹即可有效区分正确密钥,降低了攻击的难度并提高了攻击的成功率.
- 樊昊鹏袁庆军王向宇王永娟王涛
- 轻量级分组密码PUFFIN的差分故障攻击被引量：4
- 2020年
- 基于代换–置换网络结构的轻量级分组密码算法PUFFIN在资源受限的硬件环境中使用较广泛,差分故障攻击是针对硬件密码算法较为有效的攻击手段。该文针对PUFFIN算法,改进多比特故障模型,通过构建输出差分和可能输入值之间的关系,注入5次故障即可确定单个S盒唯一输入值;在最后一轮加密过程中注入10次故障,成功恢复轮密钥的概率为78.64%,进而可恢复初始密钥。
- 袁庆军张勋成高杨王永娟
- 关键词：差分故障攻击
- 用遗传算法求解飞行管理问题被引量：1
- 2003年
- 本文首先将飞行管理问题的非线形规划模型巧妙地转化为遗传算法模型,然后充分利用遗传算法的特点,通过增加遗传代数来控制搜索范围和计算精度,在计算机上编程实现,求解得到了最优的飞行控制方案。
- 陈廷王永娟毛秀青
- 关键词：飞行管理非线性规划遗传算法
- Bent函数的一种递归构造方法被引量：1
- 2005年
- 文章首先研究了Bent函数特征矩阵的性质,并给出了Bent函数的一个等价判别条件,从而引出了Bent函数的一种新的构造方法:由一个已知的n(n≥2)元Bent函数的特征矩阵来构造n+2元Bent函数的特征矩阵,为Bent函数的构造和计数提供了一种新思路。
- 王永娟曾本胜
- 关键词：BENT函数特征矩阵
- 轻量级分组密码算法TWINE差分故障攻击的改进被引量：5
- 2017年
- 针对轻量级分组密码TWINE的半字节分组差分扩散规律展开研究,提出一种新的差分故障攻击的方法,并基于S盒差分分布统计规律性计算出恢复轮密钥的概率下界,由此给出完整恢复种子密钥的故障注入次数期望。理论证明和实验结果同时表明,算法第33、34、35轮平均注入9次故障即可完全恢复种子密钥。最后提出故障注入位置的改进,提升了实际攻击的可行性。
- 高杨王永娟王磊王涛
- 关键词：差分故障攻击
- 侧信道攻击与防御技术研究进展被引量：15
- 2023年
- 侧信道攻击利用密码实现的物理泄露而不是理论弱点来恢复密钥,对密码系统的安全实现有严重的现实威胁.密码设备运行时所产生的能量、电磁、缓存和故障输出等侧信息均可能导致密钥信息泄漏,攻击者通过分析侧信息中与密钥相关的特征点来获取密钥信息.为了应对侧信道攻击,侧信道防御技术和抗泄漏密码学也成为研究的热点问题.前者的总体思路在于消除侧信息泄漏或者消除秘密信息与所泄漏侧信息之间的相关性,而后者旨在准确量化密码系统执行过程中的侧信息泄漏,进而构造具有抗泄漏安全性的密码方案.本文系统地介绍了侧信道攻击与防御技术发展:首先,剖析了时序攻击、能量分析攻击、缓存攻击和故障攻击的基本原理、攻击方法、应用场景和发展现状,并提炼出每一类攻击的通用模型;其次,概括出侧信道防御技术的本质特征,并分析了侧信道防御技术的基本原理、安全模型和应用场景;之后总结了抗泄漏密码学的基本原理与发展现状,梳理了典型的抗泄漏密码方案;最后分析了现有研究工作中存在的问题,并对未来的研究方向进行了展望.
- 王永娟樊昊鹏代政一袁庆军王相宾
- 关键词：侧信道攻击
- 轻量级分组密码SLIM的差分故障攻击被引量：2
- 2022年
- SLIM是2020年提出的新型轻量级分组密码算法,因其极低的门电路功耗和良好的硬件实现性能,在受限的小规模加密场合具有一定应用前景.差分故障攻击是研究轻量级密码算法的有效手段,本文采用半字节故障攻击模型对SLIM算法进行研究,分析算法差分扩散规律,结合密钥扩展方案,提出一种故障注入策略.分别在第2至32轮注入宽度为1至4个半字节的故障,最少共注入62组故障可将恢复主密钥的计算复杂度降低至2^(3).本文研究SLIM算法S盒的差分不均匀性,通过分析输入差分、输出差分和可能输入值之间的对应关系建立S盒差分分布表,将差分方程的求解直接转化为查表操作,快速缩小方程解空间.进一步利用S盒差分分布统计规律系统分析了方程是否存在唯一解的情形,基于概率学知识计算出不同故障注入组数下各轮密钥恢复成功率,得到恢复主密钥所需故障注入组数期望值68.15组.经仿真模拟实验,1000次攻击恢复主密钥所需故障注入组数均值为69.07组,与理论结果较为接近.
- 高杨王永娟高光普袁庆军王灿
- 关键词：差分故障攻击
