检索结果-维普期刊中文期刊服务平台

面向分组密码算法的程序设计语言研究被引量：4: 1; 作者李凤华阎军智 +2 位作者谢绒娜马建峰欧海文《电子学报》 EI CAS CSCD 北大核心 2009年第12期2705-2710,共6页; 本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说... 展开更多; 关键词领域专用语言分组密码算法程序设计语言 DES密码算法; 在线阅读下载PDF 职称材料

RAIN:一种面向软硬件和门限实现的轻量分组密码算法被引量：6: 2; 作者曹梅春张文英 +2 位作者陈彦琴邢朝辉吴磊《计算机研究与发展》 EI CSCD 北大核心 2021年第5期1045-1055,共11页; RAIN算法的设计基于国际上分组密码设计广泛采用的SPN(substitution permutation network)结构,通过迭代混淆层S盒和扩散层字混合提供强雪崩效应,不仅保证强的安全性,还兼顾了软硬件实现.算法支持64 b分组和128 b分组,2种不同的分组长... 展开更多; 关键词轻量级可调分组密码 SPN结构分组密码设计 RAIN算法混合整数线性规划; 在线阅读下载PDF 职称材料

KNOT认证加密算法的零和区分器分析被引量：2: 3; 作者叶涛韦永壮李灵琛《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第1期76-86,共11页; KNOT认证加密算法是国际轻量级密码算法征集竞赛活动第2轮入围的候选算法之一。该算法具有软硬件实现快、资源消耗低等特点,其安全性受到了全球广泛的关注。基于标志位技术,提出了密码S盒的新可分性模型构建方法。同时,利用KNOT-256的... 展开更多; 关键词分组密码零和区分器 KNOT认证加密算法混合整数线性规划; 在线阅读下载PDF 职称材料

LiCi算法的基于比特积分攻击被引量：4: 4; 作者信文倩孙兵李超《计算机工程》 CAS CSCD 北大核心 2020年第7期136-142,共7页; 为分析目前LiCi算法抵抗积分攻击的能力,利用基于比特的可分性质,结合MILP搜索工具对LiCi算法的积分区分器进行搜索。搜索得到最长轮数积分区分器为12轮积分区分器,利用12轮积分区分器对LiCi算法进行13轮积分攻击。该攻击能够恢复17比... 展开更多; 关键词轻量级分组密码算法 LiCi算法可分性质混合整数线性规划积分攻击; 在线阅读下载PDF 职称材料

基于神经区分器的KATAN48算法条件差分分析方法: 5; 作者林东东李曼曼陈少真《计算机应用》 CSCD 北大核心 2023年第8期2462-2470,共9页; 针对KATAN48算法的安全性分析问题,提出了一种基于神经区分器的KATAN48算法条件差分分析方法。首先,研究了多输出差分神经区分器的基本原理,并将它应用于KATAN48算法,根据KATAN48算法的数据格式调整了深度残差神经网络的输入格式和超参... 展开更多; 关键词分组密码混合整数线性规划 KATAN算法条件差分分析神经区分器; 在线阅读下载PDF 职称材料

ACT、TED算法基于MILP搜索的积分分析: 6; 作者熊家琪袁征 +2 位作者魏锦鹏刘宗甫朱亮《小型微型计算机系统》 CSCD 北大核心 2022年第9期1976-1983,共8页; ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明... 展开更多; 关键词轻量级分组密码算法 ACT TED 可分性积分分析 MILP(混合线性整数规划); 在线阅读下载PDF 职称材料

对PICO算法基于可分性的积分攻击被引量：1: 7; 作者刘宗甫袁征 +1 位作者赵晨曦朱亮《计算机应用》 CSCD 北大核心 2020年第10期2967-2972,共6页; 对近年来提出的基于比特的超轻量级分组密码算法PICO抵抗积分密码分析的安全性进行评估。首先,研究了PICO密码算法的结构,并结合可分性质的思想构造其混合整数线性规划(MILP)模型;然后,根据设置的约束条件生成用于描述可分性质传播规则... 展开更多; 关键词超轻量级分组密码算法 PICO 积分密码分析可分性质混合整数线性规划; 在线阅读下载PDF 职称材料

基于MILP的PICO算法差分和线性区分器的搜索: 8; 作者石康康任炯炯陈少真《密码学报》 CSCD 2023年第5期910-921,共12页; PICO算法是由Bansod等人在2016年提出的一种基于替换和排列的SPN网络的轻量级分组密码.目前针对PICO算法抵抗差分和线性分析的能力还有待进一步评估.本文基于MILP模型,首先利用不等式组对各组件的差分特征和线性掩码的传播规律进行了精... 展开更多; 关键词分组密码差分分析线性分析 MILP模型 PICO算法; 在线阅读下载PDF 职称材料

题名面向分组密码算法的程序设计语言研究被引量：4: 1; 作者李凤华阎军智谢绒娜马建峰欧海文; 机构北京电子科技学院研究生处西安电子科技大学计算机网络与信息安全教育部重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第12期2705-2710,共6页; 基金国家863高技术研究发展计划(No.2007AA012472 2007AA012429 +7 种基金 2007AA012482) 国家自然科学基金(No.60633020 60702059) 教育部重点项目(No.209156) 北京市自然科学基金(No.4082028 4102056) 北京电子科技学院信息安全重点实验室基金(No.YZDJ0807); 文摘本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.; 关键词领域专用语言分组密码算法程序设计语言 DES密码算法; Keywords domain specific language programming language for the block cipher algorithm DES; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名RAIN:一种面向软硬件和门限实现的轻量分组密码算法被引量：6: 2; 作者曹梅春张文英陈彦琴邢朝辉吴磊; 机构山东师范大学信息科学与工程学院三未信安科技股份有限公司山东交通学院理学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2021年第5期1045-1055,共11页; 基金国家自然科学基金项目(61672330) 山东省自然科学基金项目(ZR2020KF011,ZR2020MF056)。; 文摘 RAIN算法的设计基于国际上分组密码设计广泛采用的SPN(substitution permutation network)结构,通过迭代混淆层S盒和扩散层字混合提供强雪崩效应,不仅保证强的安全性,还兼顾了软硬件实现.算法支持64 b分组和128 b分组,2种不同的分组长度采用相同的轮函数结构实现,方案简洁优美.混淆层采用4 b的S盒实现,在S盒实现的时候不仅考虑了其安全性,还考虑S盒的软硬件实现,与扩散层的混合运算结合提供高的实现性能.从差分分析、不可能差分分析、积分攻击和不变子空间分析4个方面对算法进行了自评估,在分析的过程中使用了一些最新的分析方法以及基于MILP(mixed integer linear programming)的自动化搜索等,结果显示:算法可以抵抗现有的分析方法,并且具有较大的安全冗余.RAIN算法软硬件实现效率高,在PC机、ARM平台和硬件FPGA(field programmable gate array)平台下都具有出色的实现性能.算法S盒可以转换为基本逻辑运算,抗侧信道攻击实现代价低.; 关键词轻量级可调分组密码 SPN结构分组密码设计 RAIN算法混合整数线性规划; Keywords lightweight tweakable block cipher SPN(substitution permutation network)structure block cipher design RAIN algorithm mixed integer linear programming; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名KNOT认证加密算法的零和区分器分析被引量：2: 3; 作者叶涛韦永壮李灵琛; 机构桂林电子科技大学信息与通信学院桂林电子科技大学广西密码学与信息安全重点实验室密码科学技术国家重点实验室; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第1期76-86,共11页; 基金国家自然科学基金项目(61872103,62062026) 广西创新研究团队项目(2019GXNSFGA245004) 广西青年创新人才科研专项(桂科AD20238082)。; 文摘 KNOT认证加密算法是国际轻量级密码算法征集竞赛活动第2轮入围的候选算法之一。该算法具有软硬件实现快、资源消耗低等特点,其安全性受到了全球广泛的关注。基于标志位技术,提出了密码S盒的新可分性模型构建方法。同时,利用KNOT-256的算法结构,构建了KNOT-256密码算法新的可分性的混合整数线性规划模型,并由此设计了该算法零和区分器的自动化新搜索方法。研究结果表明:KNOT-256置换存在30轮的零和区分器,尽管该区分器对KNOT认证加密算法(分组长度为256的版本的初始化轮数是52轮)的安全性没有造成实际的威胁,但得到的结果证实了新的零和区分器构造方法是有效的。; 关键词分组密码零和区分器 KNOT认证加密算法混合整数线性规划; Keywords block cipher zero-sum distinguisher KNOT authenticated encryption algorithm mixed integer linear programming; 分类号 TN918.4 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名LiCi算法的基于比特积分攻击被引量：4: 4; 作者信文倩孙兵李超; 机构国防科技大学文理学院; 出处《计算机工程》 CAS CSCD 北大核心 2020年第7期136-142,共7页; 基金国家自然科学基金“结构密码分析的原理及应用研究”(61772545) 国家自然科学基金“分组密码算法的安全性分析”(61672530)。; 文摘为分析目前LiCi算法抵抗积分攻击的能力,利用基于比特的可分性质,结合MILP搜索工具对LiCi算法的积分区分器进行搜索。搜索得到最长轮数积分区分器为12轮积分区分器,利用12轮积分区分器对LiCi算法进行13轮积分攻击。该攻击能够恢复17比特密钥信息,攻击的数据复杂度约为263,时间复杂度约为2100次16轮加密,存储复杂度约为241。为了得到更长轮数的攻击结果,利用10轮积分区分器向后攻击6轮,对LiCi算法进行16轮积分攻击,攻击数据复杂度约为263.6,时间复杂度约为2173次16轮加密,存储复杂度约为2119。积分攻击实验结果表明,13轮LiCi算法不能抵抗积分攻击。; 关键词轻量级分组密码算法 LiCi算法可分性质混合整数线性规划积分攻击; Keywords lightweight block cipher algorithm LiCi algorithm division property Mixed Integer Linear(MIL)programming integral attack; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于神经区分器的KATAN48算法条件差分分析方法: 5; 作者林东东李曼曼陈少真; 机构信息工程大学网络空间安全学院密码科学技术全国重点实验室(国家密码管理局); 出处《计算机应用》 CSCD 北大核心 2023年第8期2462-2470,共9页; 基金河南省自然科学基金资助项目(232300421394)。; 文摘针对KATAN48算法的安全性分析问题,提出了一种基于神经区分器的KATAN48算法条件差分分析方法。首先,研究了多输出差分神经区分器的基本原理,并将它应用于KATAN48算法,根据KATAN48算法的数据格式调整了深度残差神经网络的输入格式和超参数;其次,建立了KATAN48算法的混合整数线性规划(MILP)模型,并用该模型搜索了前加差分路径及相应的约束条件;最后,利用多输出差分神经区分器,至多给出了80轮KATAN48算法的实际密钥恢复攻击结果。实验结果表明,在单密钥下,KATAN48算法的实际攻击的轮数提高了10轮,可恢复的密钥比特数增加了22比特,数据复杂度和时间复杂度分别由2^(34)和2^(34)降至2^(16.39)和2^(19.68)。可见,相较于前人单密钥下的实际攻击,所提方法能够有效增加攻击轮数和可恢复的密钥比特数,同时降低攻击的计算复杂度。; 关键词分组密码混合整数线性规划 KATAN算法条件差分分析神经区分器; Keywords block cipher Mixed-Integer Linear programming(MILP) KATAN algorithm conditional differential cryptanalysis neural distinguisher; 分类号 TN918.1 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名ACT、TED算法基于MILP搜索的积分分析: 6; 作者熊家琪袁征魏锦鹏刘宗甫朱亮; 机构北京电子科技学院密码与科学技术系西安电子科技大学通信工程学院; 出处《小型微型计算机系统》 CSCD 北大核心 2022年第9期1976-1983,共8页; 基金国家“十三五”密码发展基金项目(2019ZXSF02)资助.; 文摘 ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明:ACT和TED算法都存在8、9、10轮积分区分器,另外TED算法还存在7轮积分区分器.根据所搜索到的积分区分器,实现了两种算法的11轮密钥恢复攻击方案.利用ACT算法的9轮积分区分器向后扩展2轮进行11轮的密钥恢复攻击时,攻击数据复杂度为2^(36.39),时间复杂度为2^(36.39)次11轮加密,存储复杂度为2^(20).利用TED算法的8轮积分区分器向后扩展3轮进行11轮的密钥恢复攻击时,数据复杂度为2^(60.81),时间复杂度为2^(109.54)次11轮加密,存储复杂度为2^(59).; 关键词轻量级分组密码算法 ACT TED 可分性积分分析 MILP(混合线性整数规划); Keywords lightweight block cipher algorithm ACT TED division property integral analysis MILP(Mixed Integer Linear programming); 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名对PICO算法基于可分性的积分攻击被引量：1: 7; 作者刘宗甫袁征赵晨曦朱亮; 机构北京电子科技学院密码科学与技术系西安电子科技大学通信工程学院; 出处《计算机应用》 CSCD 北大核心 2020年第10期2967-2972,共6页; 基金 “十三五”国家密码发展基金密码理论课题(MMJJ20180217)。; 文摘对近年来提出的基于比特的超轻量级分组密码算法PICO抵抗积分密码分析的安全性进行评估。首先,研究了PICO密码算法的结构,并结合可分性质的思想构造其混合整数线性规划(MILP)模型;然后,根据设置的约束条件生成用于描述可分性质传播规则的线性不等式,并借助数学软件求解MILP问题,从目标函数值判断构建积分区分器成功与否;最终,实现对PICO算法积分区分器的自动化搜索。实验结果表明,搜索到了PICO算法目前为止最长的10轮积分区分器,但由于可利用的明文数太少,不利于密钥恢复。为了取得更好的攻击效果,选择搜索到的9轮积分区分器对PICO算法进行11轮密钥恢复攻击。通过该攻击能够恢复128比特轮子密钥,攻击的数据复杂度为263.46,时间复杂度为276次11轮算法加密,存储复杂度为220。; 关键词超轻量级分组密码算法 PICO 积分密码分析可分性质混合整数线性规划; Keywords ultra lightweight block cipher algorithm PICO integral cryptanalysis division property Mixed-Integer Linear programming(MILP); 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于MILP的PICO算法差分和线性区分器的搜索: 8; 作者石康康任炯炯陈少真; 机构战略支援部队信息工程大学; 出处《密码学报》 CSCD 2023年第5期910-921,共12页; 基金国家自然科学基金(62206312)。; 文摘 PICO算法是由Bansod等人在2016年提出的一种基于替换和排列的SPN网络的轻量级分组密码.目前针对PICO算法抵抗差分和线性分析的能力还有待进一步评估.本文基于MILP模型,首先利用不等式组对各组件的差分特征和线性掩码的传播规律进行了精细的刻画,其次针对密码算法的结构特点及S盒特性,对该模型进行了优化,缩小了搜索空间,并提出了针对PICO算法有效的两步搜索算法.最后利用该算法,搜索到了3条新的概率为2−63的21轮差分区分器,并首次搜索到了3条相关度为2−30的20轮线性区分器,为当前公开发表的最长线性区分器.; 关键词分组密码差分分析线性分析 MILP模型 PICO算法; Keywords block cipher differential analysis linear analysis mixed integer linear programming PICO algorithm; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向分组密码算法的程序设计语言研究	李凤华阎军智谢绒娜马建峰欧海文	《电子学报》 EI CAS CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
2	RAIN:一种面向软硬件和门限实现的轻量分组密码算法	曹梅春张文英陈彦琴邢朝辉吴磊	《计算机研究与发展》 EI CSCD 北大核心	2021	6	在线阅读下载PDF 职称材料
3	KNOT认证加密算法的零和区分器分析	叶涛韦永壮李灵琛	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2021	2	在线阅读下载PDF 职称材料
4	LiCi算法的基于比特积分攻击	信文倩孙兵李超	《计算机工程》 CAS CSCD 北大核心	2020	4	在线阅读下载PDF 职称材料
5	基于神经区分器的KATAN48算法条件差分分析方法	林东东李曼曼陈少真	《计算机应用》 CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料
6	ACT、TED算法基于MILP搜索的积分分析	熊家琪袁征魏锦鹏刘宗甫朱亮	《小型微型计算机系统》 CSCD 北大核心	2022	0	在线阅读下载PDF 职称材料
7	对PICO算法基于可分性的积分攻击	刘宗甫袁征赵晨曦朱亮	《计算机应用》 CSCD 北大核心	2020	1	在线阅读下载PDF 职称材料
8	基于MILP的PICO算法差分和线性区分器的搜索	石康康任炯炯陈少真	《密码学报》 CSCD	2023	0	在线阅读下载PDF 职称材料