对分组密码的形式化函数分析及其应用

来源 :电子学报 | 被引量 : 0次 | 上传用户：yyfdc

【摘要】

：

本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数．作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击．对13轮

【作者】

：

彭昌勇朱创营黄莉祝跃飞王靳辉

【机构】

：

解放军信息工程大学网络空间安全学院,解放军信息工程大学理学院,桂林电子科技大学,解放军信息工程大学科研部

【出处】

：

电子学报

【发表日期】

：

2013年11期

【关键词】

：

形式化函数分析形式化编码方法鲁班锁分组密码符号计算中间相遇攻击分组密码 formal function cryptanalysis method of

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文给出了分组密码的新的分析方法：形式化函数分析，即通过符号计算将密文形式地表示为明文和密钥的函数．作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击．对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加密，数据复杂度为1个已知明文．优于Nicolas Courtois等人在FSE 2012上给出的8轮代数攻击，其数据复杂度为6个已知明文．

其他文献

巧用配音形式，快乐说英语

摘要：随着时代的不断进步，英语的重要性不断提高。根据调查统计，大部分学生反映在学习英语课程时非常困难，英语成绩非常差，导致学生害怕开口说英语，对英语失去了学习兴趣。从单句配音，到对话配音、以表演形式进行对话配音，最后引导学生巧用“少儿趣配音”里的素材进行对话配音，一步一步地阐述了如何用“配音”形式引导学生开口说英语、快乐说英语，同时也一步一步阐述了如何用“配音”形式让学生从被动地说英语转化成主动

期刊

配音趣配音快乐

运用信息提取策略引导关键词语教学

摘要：关键词语对文本的表达起着举足轻重的作用，引导学生学会认识并有效提取，是阅读教学的一项重要内容。教师在教学中首先要让学生认识到什么是“关键词语”，然后再放手让学生自主学习、自主提取，在此基础上加以引導，提高学生的语文核心素养。　　关键词：信息提取；关键词；认识；自主；引导　　词语是最小的语言意义单位，学生能否对文本进行深入的阅读，在一定程度上取决于对一些基本词语的理解。词语理解到位了，句子的

期刊

信息提取关键词认识自主引导

浅谈加强小学德育的有效途径分析

摘要：在小学阶段，不断加强小学生的德育，能有效提升其思想道德水平，不断塑造他们完整而积极向上的人格和品质。而且，小学生年龄还小，没有是非分辨能力，更缺乏独立思考的能力，所以必须在这个阶段加强对其德育的培养，帮助其树立正确的人生观和价值观。　　关键词：小学阶段；德育；有效途径；分析　　在我国的教育教学工作中，德育始终是非常重要的一种教育理念，通过加强学生的德育能力，让学生更客观、正面地面对社会，而

期刊

小学阶段德育有效途径分析

信息技术支持的小学数学教学创新探讨

摘要：如今，随着我国经济和素质教育的不断发展，以多媒体技术和网络技术为核心的现代信息技术正广泛应用于人们生活的各个领域，教育领域亦是如此。针对现阶段小学数学教学现状，对信息技术支持的小学数学教学创新路径进行简要分析，希望能给相关教育工作者提供参考性建议。　　关键词：信息技术；小学数学；作用　　《义务教育数学课程标准》中指出：小学数学教育中，课程的设计中应当运用现代信息技术，把信息技术当作学生学习

期刊

信息技术小学数学作用

以学定教,合作互助,提高初中地理课堂教学质量

＂以学定教＂,可以实现学生的差异化发展。如果学生之间再进行＂合作互助＂,则会更加充分发挥学生在学习中的主体作用。通过学情分析,确定教学的切入点,精心选择教学策略,合理安排教

期刊

地理教学以学定教合作互助

涉农新产品扩散模型研究

从涉农新产品扩散相关概念入手论述了Bass模型及其改进，并介绍了Bass模型框架外的新产品扩散模型。

期刊

涉农新产品扩散BASS模型

NSSA中网络安全态势预测研究

首先介绍了NSSA的相关概念和关键技术,然后从网络安全态势预测方面详细阐述了主流预测技术的相关理论和研究现状,总结和展望了网络安全态势感知的发展情况和未来研究方向。

期刊

网络安全态势感知态势预测

对分组密码的形式化函数分析及其应用

其他学术论文