| Lai-Massey模型的差分和线性可证明安全性 |
| |
| 引用本文： | 付立仕,金晨辉. Lai-Massey模型的差分和线性可证明安全性[J]. 软件学报, 2013, 24(S2): 207-215 |
| |
| 作者姓名： | 付立仕 金晨辉 |
| |
| 作者单位： | 解放军信息工程大学, 河南 郑州 450001;解放军信息工程大学, 河南 郑州 450001 |
| |
| 基金项目： | 国家自然科学基金（61272488） |
| |
| 摘 要： | 1991年，Lai 和Massey 设计了IDEA算法.该算法首次用到了Lai-Massey模型.1999年，Vaudenay在Lai-Massey模型中引入正形置换或几乎非正形置换，证明了该Lai-Massey 模型满足Luby-Rackoff定理.主要对Lai-Massey模型的差分和线性可证明安全性进行研究.首先，给出了Lai-Massey模型中差分活动F 函数个数的下确界.其次，证明了当F函数是正形置换时，Lai-Massey模型的差分活动F函数个数下确界与Feistel模型中活动F函数个数的下确界一样.最后，通过引入对偶模型，证明了Lai-Massey模型的差分传递链和组合传递链在结构上的对偶性，并基于该对偶性直接给出了Lai-Massey模型的线性可证明安全性.
|
| 关 键 词： | Lai-Massey 模型 差分分析 线性分析 活动F-函数 对偶性 正形置换 |
| 收稿时间： | 2013-07-17 |
| 修稿时间： | 2013-10-16 |
Differential and Linear Provable Security of Lai-Massey Scheme |
| |
| FU Li-Shi and JIN Chen-Hui. Differential and Linear Provable Security of Lai-Massey Scheme[J]. Journal of Software, 2013, 24(S2): 207-215 |
| |
| Authors: | FU Li-Shi and JIN Chen-Hui |
| |
| Affiliation: | The PLA Information Engineering University, Zhengzhou 450001, China;The PLA Information Engineering University, Zhengzhou 450001, China |
| |
| Abstract: | |
| |
| Keywords: | Lai-Massey scheme differential cryptanalysis linear cryptanalysis active F-function duality orthomorphism |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
