DocumentCode
3298411
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
fYear
2009
fDate
11-12 July 2009
Firstpage
583
Lastpage
586
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Science, Management and Engineering, 2009. SSME '09. IITA International Conference on
Conference_Location
Zhangjiajie
Print_ISBN
978-0-7695-3729-0
Type
conf
DOI
10.1109/SSME.2009.150
Filename
5233217
Link To Document