王鑫
- 作品数：9 被引量：11H指数：2
- 供职机构：陕西师范大学计算机科学学院更多>>
- 发文基金：国家自然科学基金国家密码发展基金陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术生物学医药卫生政治法律更多>>
- 基于Rotation-XOR的MDS线性变换的研究被引量：1
- 2020年
- 在分组密码的扩散层中构造MDS线性变换可实现良好的扩散性.构造MDS线性变换的方法有很多种,其中基于Rotational-XOR的MDS线性变换软硬件实现效率高,能够增强密码算法抵抗各种密码分析的能力,适用于对称密码算法设计,例如SMS4算法、ZUC算法等.本文研究构造MDS线性变换的必要条件,探寻分组规模为64、分块规模为8时基于Rotational-XOR的MDS线性变换.首先通过分析首行矩阵的性质,给出MDS矩阵的一个必要条件为矩阵中不可能有连续三个矩阵块相同,根据该条件证明此规模下异或项数取最小值9项时不存在MDS线性变换,并利用Magma软件验证该结论.进而研究异或项数为11项时的MDS线性变换,将此情况下的所有线性变换分为三种情况,分别是一个矩阵中至多有一个自由项、存在两个自由项落在同一矩阵中和三个自由项恰好落在同一矩阵中.这三种情况将该规模下的8^8×56×55×54个线性变换等价划分为15种形式,设计15个算法分别搜索后得到此规模下异或项数取11项时也不存在MDS线性变换.本文的结论和搜索方法对研究分块规模为8的MDS扩散层具有启示作用.
- 张晶王鑫张丽娜杨波胡冰洁
- 关键词：分组密码
- 循环移位与异或构造扩散层的新证明方法被引量：6
- 2020年
- 随着密码算法在物联网等领域轻量化应用的急速发展,扩散层作为分组密码的一个重要部件,它的设计不但影响分组密码算法的安全性,而且影响分组密码在软硬件中的实现效率,因此在实际应用中迫切需求具有轻量级的扩散层.本文在研究运用循环移位与异或运算构造轻量级扩散层时,提出了一种新的证明方法,即通过线性变换中输入与输出的关系来反证得出分支数大小,该方法具有普适性,不仅适用于扩散层中最优线性变换的证明,而且对于任意线性变换的证明也成立;同时,本文给出线性变换(F2n)4上循环移位与异或运算扩散层的筛选算法,其可以通过改变算法的参数筛选特定分支数的线性变换.为了验证方法的有效性,本文通过筛选方法给出了(F2^n)4中扩散层的最优和次优线性变换,以及最优线性变换的八种最简单的构造形式.
- 苏俊王鑫王涛杨波
- 关键词：扩散层
- 基于模糊身份的直接匿名漫游认证协议
- 2018年
- 近年来,为保护用户的隐私安全性,大量适用于全球移动网络环境的匿名漫游认证协议相继被提出.其中,部分协议采用临时身份代替真实身份的方法实现漫游过程中用户身份的匿名性需求,然而临时身份的重复使用,在一定程度上增加了用户的存储负担;部分协议采用身份更新的方法实现临时身份的一次一变性,但是相关信息的存储及更新操作,导致协议的执行效率较低.针对上述不足,提出模糊的直接匿名漫游认证协议.无需家乡代理的协助,通过1轮消息交互,外部代理即可直接完成对移动用户的身份合法性验证.同时,无需更新操作,即可实现漫游过程中临时身份的一次一变性.该机制在实现身份合法性匿名认证的同时,提高了协议的存储和执行效率,并且降低了通信时延.安全性证明表明,该协议在Canetti-Krawczyk(CK)安全模型下可证明是安全的.相较于传统漫游认证协议而言,该协议在存储、通信和计算等方面具有更优的性能,更适用于全球移动网络.
- 周彦伟杨波杨波
- 基于对偶系统的匿名身份基哈希证明系统及其应用
- 2018年
- 基于合数阶双线性群上的静态假设,通过在公开参数及密文中添加一个新的子群中的随机元素实现匿名性,构造了一个匿名的身份基哈希证明系统,利用对偶系统加密技术证明其满足所需的安全性质.将该哈希证明系统应用于抗泄露密码体制中,分别得到一个抗泄露的全安全匿名身份基加密方案和一个CCA-安全的抗泄露匿名身份基加密方案.
- 侯红霞杨波杨波周彦伟
- 直觉模糊下推自动机
- 本文给出直觉模糊下推自动机及其接受语言的定义,并证明以空栈方式被直觉模糊下推自动机接收的语言与以终状态方式被直觉模糊下推自动机接收的语言等价。
- 王鑫席政军李永明
- 关键词：直觉模糊集下推自动机
- 文献传递
- 参数化的广义量子通用相位门
- 2011年
- 主要研究参数化的广义量子通用相位门,给出了单比特量子门、双比特量子门以及三比特量子门的参数化构造。证明参数化的广义量子门和M.Nielsen给出的广义量子门是等价的。举例说明了参数化的广义量子通用门在量子计算中的作用。
- 王鑫席政军李永明李小鹏
- 关键词：量子计算机量子计算参数化
- 亲缘关系预测系统被引量：4
- 2020年
- 报道了一个基于全基因组数据的亲缘关系预测系统(Kinship Prediction SystemVersion 1.0,KPSv1.0),其旨在给定一个自定义群体中所有个体的全基因组数据文件,通过亲缘关系预测算法,计算出群体中所有存在的亲缘关系对,并将结果可视化为家谱图,进而搜寻某个未知个体与多个已知个体的复杂亲缘关系,为物证鉴定提供强有力的线索。系统不仅将以往复杂的预测流程变得简单化、自动化,而且将预测结果进行了界面化,并和用户建立了更好的交互性,大大地提升了运算效率,在人类遗传学、法医遗传学等领域有重要的应用价值。
- 王鑫李悦文豪范虹刘京
- 关键词：法医遗传学生物信息学
- 量子Mealy自动机和量子Moore自动机的等价被引量：1
- 2009年
- 随着大数分解的量子算法和量子搜索算法的给出,量子计算进入了一个全新的迅速的发展时期.量子自动机是近十年来兴起的量子计算理论,是一个很活跃的研究领域,量子自动机的研究已经相当丰富.首先定义了字符集上的有限维Fock空间,给出基于有限维Fock空间的量子Mealy自动机和量子Moore自动机的定义,考虑在不受外界环境影响下的两种量子自动机构成的封闭的量子系统,详细地研究了量子Mealy自动机和量子Moore自动机的演化过程,利用量子力学中密度算子的基本理论给出量子Mealy自动机和量子Moore自动机生成的量子语言.最后,在考虑纯态的情形下证明了量子Mealy自动机与量子Moore自动机是等价的.
- 席政军王鑫李永明
- 关键词：FOCK空间密度算子等价
- 有限域(F_(2)^(8))^(8)上基于循环异或移位结构的次优扩散层研究
- 2023年
- 基于循环移位异或运算的MDS线性变换以其具有良好的扩散雪崩性能被广泛应用于分组密码扩散层的设计中.在现有研究中,小有限域(F_(2)^(n))^(4)上最优线性变换寻找工作已接近完备,而大有限域(F_(2)^(n))^(8)上异或项数为9和11时,却不存在最优线性变换.探寻大有限域(F_(2)^(8))^(8)上次优线性变换对64位环境的实际应用需求而言具有重要意义.本文基于现有的研究成果,以大有限域(F_(2)^(n))^(8)为研究对象,通过分析循环异或扩散层的结构特点,将分支数的测试问题转换为布尔可满足性问题,借助可满足性模理论求解器Boolector求解的过程,完成对大有限域(F_(2)^(n))^(8)上次优线性变换组进行探寻研究.实验结果显示,大有限域(F_(2)^(8))^(8)上存在分支数可以达到8的次优线性变换,结合测试并给出一种具体循环异或形式,为最优扩散层的实际需求提出一种候补方法.未来将进一步研究大有限域(F_(2)^(n))^(8)上次优线性变换的理论特征和推广应用.
- 王鑫王鑫杨波
- 关键词：分组密码有限域扩散层可满足性
