检索结果-内蒙古大学图书馆

山东大学学报（理学版） 2010年第4期45卷 6-11页

作者：乔思远贾珂婷山东大学数学学院山东济南250100 山东大学密码技术与信息安全教育部重点实验室山东济南250100

提出了SHA-0-MAC的部分密钥恢复攻击,这是首个对SHA-0-MAC的密钥恢复攻击。SHA-0-MAC是基于SHA-0的MDx-MAC,由Preneel等人于1995年在美密会提出,其包含3个160比特子密钥K0,K1,K2。基于Bi-ham等给出的伪碰撞路线,结合王小云等提出的MD5-... 详细信息

提出了SHA-0-MAC的部分密钥恢复攻击,这是首个对SHA-0-MAC的密钥恢复攻击。SHA-0-MAC是基于SHA-0的MDx-MAC,由Preneel等人于1995年在美密会提出,其包含3个160比特子密钥K0,K1,K2。基于Bi-ham等给出的伪碰撞路线,结合王小云等提出的MD5-MAC部分密钥恢复的思想,对SHA-0-MAC恢复子密钥K1的128比特,推出该路线成立的充分条件.在此基础上利用Contini的部分密钥恢复技术恢复160比特的子密钥K0,总的复杂度约为2125.58次MAC询问。

关键词： MDx-MAC SHA-0 密钥恢复

来源：评论

学校读者我要写书评

暂无评论

基于加权下推系统优化可达性分析的Java安全信息流研究

引用

计算机研究与发展 2012年第5期49卷 901-912页

作者：孙聪唐礼勇陈钟马建峰计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071 高可信软件技术教育部重点实验室(北京大学) 北京100871

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以... 详细信息

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以支持对标错状态的可达性分析,保证标错状态不可达时对应字节码程序满足无干扰性.在此基础上为提高实际验证效率提出了3种模型优化方法.实验说明方法的可用性、效率、可扩展性及模型优化的实际效果.

关键词：信息流无干扰性加权下推系统自合成可达性分析

来源：评论

学校读者我要写书评

暂无评论

协议组合逻辑安全的WiMAX无线网络认证协议

引用

电子与信息学报 2010年第9期32卷 2106-2111页

作者：冯涛张子彬马建峰兰州理工大学计算机与通信学院兰州730050 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 福建师范大学网络安全与密码技术重点实验室福州350007

国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMA... 详细信息

国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境。

关键词：无线网络认证协议协议演绎系统协议组合逻辑 WiMAX

来源：评论

学校读者我要写书评

暂无评论

有限域上二次Bent函数的构造

引用

北京邮电大学学报 2010年第3期33卷 52-56页

作者：张凤荣胡予濮谢敏高军涛西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 广东省信息安全技术重点实验室(广州大学) 广州510405

针对MaWP等给出的二次多项式函数是Bent函数的充要条件以及CharpinP等给出的二次三项函数是semi-Bent函数的充要条件这2个结论进行了研究,结果表明,MaWP等文章中的推论5、6和CharpinP等文章中的定理5、6是不完全正确的.结合有限域上的... 详细信息

针对MaWP等给出的二次多项式函数是Bent函数的充要条件以及CharpinP等给出的二次三项函数是semi-Bent函数的充要条件这2个结论进行了研究,结果表明,MaWP等文章中的推论5、6和CharpinP等文章中的定理5、6是不完全正确的.结合有限域上的二次多项式理论,给出了相应的正确结果,并构造了一类三项式和四项式Bent函数.借助多项式置换,提出了一种利用二次二项Bent函数构造多项式Bent函数的新方法.

关键词：密码函数 Boolean函数 Bent函数最大非线性度

来源：评论

学校读者我要写书评

暂无评论

格的计算和密码学应用

引用

中国科学：数学 2020年第10期50卷 1417-1436页

作者：许光午王小云山东大学密码技术与信息安全教育部重点实验室青岛266237 山东大学网络空间安全学院青岛266237 清华大学高等研究院北京100084

本文主要介绍格理论的一些基本计算问题和几个典型的密码学应用.这个综述力求反映相关问题的数学本质并通过实例加以解释.本文从格的基本概念、基本相关工具和格上几个重要计算问题的描述开始,然后介绍和讨论几类著名的格论算法.最后整... 详细信息

本文主要介绍格理论的一些基本计算问题和几个典型的密码学应用.这个综述力求反映相关问题的数学本质并通过实例加以解释.本文从格的基本概念、基本相关工具和格上几个重要计算问题的描述开始,然后介绍和讨论几类著名的格论算法.最后整理现代文献中格上密码学的几个重要构造并加以讨论.

关键词：格短向量算法格上密码学

来源：评论

学校读者我要写书评

暂无评论

无可信中心的可公开验证多秘密共享

引用

计算机学报 2014年第5期37卷 1030-1038页

作者：于佳陈养奎郝蓉孔凡玉程相国潘振宽青岛大学信息工程学院山东青岛266071 山东省科学院山东省计算机网络重点实验室济南250014 中国科学院信息工程研究所信息安全国家重点实验室北京100093 山东大学网络信息安全研究所济南250100 山东大学密码技术与信息安全教育部重点实验室济南250100

多秘密共享是通过一次计算过程就可以实现同时对多个秘密进行共享的密码体制,在一般的多秘密共享中,都需要可信中心的参与,由可信中心进行秘密份额的分发.然而,在很多情况下,无法保证可信中心的存在,即使存在可信中心,它也很容易遭受敌... 详细信息

多秘密共享是通过一次计算过程就可以实现同时对多个秘密进行共享的密码体制,在一般的多秘密共享中,都需要可信中心的参与,由可信中心进行秘密份额的分发.然而,在很多情况下,无法保证可信中心的存在,即使存在可信中心,它也很容易遭受敌手的攻击,成为系统的盲点.该文提出了一个无可信中心的可公开验证多个秘密共享方案,共享的多个随机秘密是由参与成员共同产生的,密钥份额的有效性不仅可以被份额持有者自己验证,而且可以被其他任何成员验证,这使方案具有更广的应用背景,可用于设计电子投票协议、密钥托管协议等.为了适用于无线自组网等新的网络环境,该文也讨论了无可信中心的条件下动态撤出和增加成员的问题.

关键词：秘密共享多秘密共享可信中心可公开验证方案安全性网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

格上可撤销的基于身份的条件代理重加密方案

引用

密码学报(中英文) 2024年第6期11卷 1256-1277页

作者：王明强王伟嘉王洋张雍杰山东大学数学学院济南250100 保密通信全国重点实验室成都610041 密码科学技术全国重点实验室北京100878 山东大学网络空间安全学院青岛266237 密码技术与信息安全教育部重点实验室(山东大学) 济南250100

(基于属性的)条件代理重加密方案(AB-CPRE)可以使一个委托人通过不同的控制策略向其他人授权解密权限,这为加密数据外包存储的细粒度访问权限控制问题提供了一个很好的解决方案.最近,Liang等人在ESORICS 2021上给出了第一个格上基于属... 详细信息

(基于属性的)条件代理重加密方案(AB-CPRE)可以使一个委托人通过不同的控制策略向其他人授权解密权限,这为加密数据外包存储的细粒度访问权限控制问题提供了一个很好的解决方案.最近,Liang等人在ESORICS 2021上给出了第一个格上基于属性的条件代理重加密方案,该方案在选择属性的条件下可以抵抗任意多项式时间敌手的选择明文攻击.但普通的AB-CPRE方案可能面临密钥管理繁琐等问题.本文给出了可撤销的、基于身份的单跳条件代理重加密方案(RIB-AB-CPRE)的定义、安全模型并给出了具体构造.所构造的可撤销的、基于身份的单跳条件代理重加密方案是基于(密钥策略)属性的,即采用密钥策略来进行访问权限的细粒度控制.在选择身份、系统时刻和属性的条件下,基于LWE假设可以证明所提方案抵抗任意多项式时间敌手的选择明文攻击.同时,方案也抵抗解密密钥泄露攻击.

关键词：条件代理重加密体制可撤销的基于身份的加密体制格密码 LWE问题

来源：评论

学校读者我要写书评

暂无评论

基于R-LWE的公钥加密方案

引用

通信学报 2013年第2期34卷 23-30页

作者：杨晓元吴立强张敏情张薇武警工程大学电子技术系网络与信息安全武警部队重点实验室陕西西安710086 西安电子科技大学网络信息安全教育部重点实验室陕西西安710071

根据一个更紧凑的均匀性定理提出了一种改进的理想格上陷门生成方法;然后结合R-LWE加密算法和理想格上强不可伪造一次签名工具,在标准模型下设计了一个适应性选择密文攻击(CCA)安全的公钥加密方案。新方案可实现块加密,可支持公开的密... 详细信息

根据一个更紧凑的均匀性定理提出了一种改进的理想格上陷门生成方法;然后结合R-LWE加密算法和理想格上强不可伪造一次签名工具,在标准模型下设计了一个适应性选择密文攻击(CCA)安全的公钥加密方案。新方案可实现块加密,可支持公开的密文完整性验证,具有加解密速度快、密文扩展率低的优势,其安全性可以高效地归约为判定性R-LWE困难性假设。新方案是第一个完全基于理想格上困难问题构造的CCA安全公钥加密方案。

关键词：公钥加密适应性选择密文安全理想格 R-LWE

来源：评论

学校读者我要写书评

暂无评论

TWINE-128的中间相遇攻击的自动检测算法

引用

密码学报 2015年第6期2卷 559-569页

作者：孔海龙王薇张国艳山东大学计算机科学与技术学院济南250101 山东大学密码技术与信息安全教育部重点实验室济南250100

Biryukov等人在FSE 2015首次将多重集的中间相遇攻击应用于Feistel结构,并给出TWINE-128算法目前最好的分析结果.基于Biryukov等人的工作,本文详细介绍了TWINE算法的中间相遇攻击的自动检测算法.该算法分为三个步骤.(1)区分器的自动检... 详细信息

Biryukov等人在FSE 2015首次将多重集的中间相遇攻击应用于Feistel结构,并给出TWINE-128算法目前最好的分析结果.基于Biryukov等人的工作,本文详细介绍了TWINE算法的中间相遇攻击的自动检测算法.该算法分为三个步骤.(1)区分器的自动检测算法,结合算法结构,搜索出全部区分器.然后,对搜索出的区分器逐个用步骤(2)、(3)进行筛选.(2)在线阶段涉及轮密钥的自动定位算法,在区分器的头部和尾部添加轮数,分别推导出区分器的头部δ集解密到明文,区分器的尾部加密到密文,需要猜测的轮密钥.(3)待求轮密钥向等价主密钥的自动转换算法,选取主密钥或者密钥调度算法生成的某一个128比特的中间变量作为等价主密钥WK[r](r为轮数),猜测WK[r]的部分半字节,并推导相应的轮密钥取值,若步骤(2)中需要的所有轮密钥都可推导出来,攻击成立.程序结果可手动验证,在δ集特性不变的情况下,我们发现,除Biryukov等人采用的区分器外,还存在其他区分器,可对25轮的TWINE-128算法进行中间相遇攻击,复杂度不变.因为运算规则的定义与加密算法的具体细节无关,本文给出的自动检测算法可适用于S盒是一一映射的广义Feistel结构的分组密码算法.

关键词：中间相遇攻击自动搜索算法广义Feistel结构 TWINE-128

来源：评论

学校读者我要写书评

暂无评论

密码SoC中数据存储保护机制研究与设计

引用

计算机应用研究 2011年第12期28卷 4638-4641页

作者：杨先文李峥王安解放军信息工程大学电子技术学院郑州450004 山东大学密码技术与信息安全教育部重点实验室济南250100

基于一款自主知识产权密码SoC的研发需求,定义了该密码SoC生命周期中涉及到的相关人员类型,给出了一种存储器分区管理方案;对不同人员类型的访问权限进行分配,给出了一种权限裁决电路的设计原理。最后,对存储保护机制进行了实现,并对其... 详细信息

基于一款自主知识产权密码SoC的研发需求,定义了该密码SoC生命周期中涉及到的相关人员类型,给出了一种存储器分区管理方案;对不同人员类型的访问权限进行分配,给出了一种权限裁决电路的设计原理。最后,对存储保护机制进行了实现,并对其进行了FPGA原型验证。结果表明,该设计满足预期权限控制要求,可为软/硬件一体化设计更复杂的存储保护功能提供最基础的读写保护。

关键词：密码片上系统安全存储保护卡洛图现场可编程门阵列

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：