| SHA-1充分条件自动化求解算法 |
| |
| 引用本文： | 胡云山,申意,曾光,韩文报.SHA-1充分条件自动化求解算法[J].计算机科学,2016,43(8):123-127, 147. |
| |
| 作者姓名： | 胡云山 申意 曾光 韩文报 |
| |
| 作者单位： | 解放军信息工程大学 郑州450001数学工程与先进计算国家重点实验室 无锡214125,解放军信息工程大学 郑州450001数学工程与先进计算国家重点实验室 无锡214125,解放军信息工程大学 郑州450001数学工程与先进计算国家重点实验室 无锡214125,解放军信息工程大学 郑州450001数学工程与先进计算国家重点实验室 无锡214125 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61003291),数学工程与先进计算国家重点实验室开放课题(2013A03,3A10)资助 |
| |
| 摘 要： | 充分条件的求解是模差分攻击的重要步骤之一。将充分条件的求解转化为F2上线性方程组的构造过程,利用线性方程组解的判定定理判断每步所求得充分条件的正确性,提出了针对SHA-1模差分攻击的充分条件自动化求解算法。文中算法做适当变形后,同样适用于MD5、SHA-0等与SHA-1结构相似的Hash函数充分条件的自动化求解。
|
| 关 键 词： | 密码学 Hash函数 SHA-1 充分条件 碰撞攻击 |
| 收稿时间： | 7/6/2015 12:00:00 AM |
| 修稿时间： | 2015/9/28 0:00:00 |
New Algorithm for Automatic Deriving Sufficient Conditions of SHA-1 |
| |
| HU Yun-shan,SHEN Yi,ZENG Guang and HAN Wen-bao.New Algorithm for Automatic Deriving Sufficient Conditions of SHA-1[J].Computer Science,2016,43(8):123-127, 147. |
| |
| Authors: | HU Yun-shan SHEN Yi ZENG Guang and HAN Wen-bao |
| |
| Affiliation: | The PLA Information Engineering University,Zhengzhou 450001,China State Key Laboratory of Mathematical Engineering and Advanced Computing,Wuxi 214125,China,The PLA Information Engineering University,Zhengzhou 450001,China State Key Laboratory of Mathematical Engineering and Advanced Computing,Wuxi 214125,China,The PLA Information Engineering University,Zhengzhou 450001,China State Key Laboratory of Mathematical Engineering and Advanced Computing,Wuxi 214125,China and The PLA Information Engineering University,Zhengzhou 450001,China State Key Laboratory of Mathematical Engineering and Advanced Computing,Wuxi 214125,China |
| |
| Abstract: | |
| |
| Keywords: | Cryptology Hash function SHA-1 Sufficient conditions Collision attacks |
|
|
点击此处可从《计算机科学》下载全文 |
|
