Title :
Enhanced Strand Space for Secure Protocol Analysis
Author :
Yang Jie ; Zhou Yu-ren
Author_Institution :
Sch. of Software, South China Univ. of Technol., Guangzhou, China
Abstract :
The paper makes improvement to the original strand space by adding the description of hash function and some definitions with lemmas. The intensive model is used to analyze IKE sub-protocol using hash function.
Keywords :
cryptography; protocols; IKE subprotocol; enhanced strand space; hash function; secure protocol analysis; Algebra; Computer science; Conference management; Cryptography; Engineering management; Paper technology; Protocols; Space technology; Technology management; IKE; Strand Space; protocol analysis;
Conference_Titel :
Services Science, Management and Engineering, 2009. SSME '09. IITA International Conference on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-0-7695-3729-0
DOI :
10.1109/SSME.2009.150
