|
|
|
| Flaws and Improvement on Constructing Attack Based on Generalized Strand Space Model |
| Wang Jian-hua①; Zhang Lan②; He Liang-sheng②; Xu Yang③ |
| ①School of Computer Science, Beijing University of Aeronautics and Astronautics, Beijing 100083, China;②Institude of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China; ③Institute of Electronic Technology, Air Force, Beijing 100097, China |
|
|
|
|
Abstract This paper designs “ffgg★”protocol which is similar to“ffgg”protocol constructed by Millen.They have cryptographic properties in commen. Then,the protocol is analyzed by using constructing attack based on generalized strand space model ,and it is proved that the protocol is secure under non-type-flaw attacks .After “ffgg”protocol is analyzed by Millen using Pulson`s inductive approach,it is secure under non-type-flaw attacks,either. It is indicated that constructing attack has limitation. Finally,some improved measures are put forward,and type-flaw attack is found by using amendatory constructing attack in“ffgg★”protocol.
|
|
Received: 03 April 2006
|
|
|
|
|
|
|
|
|
2007, Vol. 29 
