Title :
Normal Forms and Normalization of Authentication Protocols
Author :
Tao, Hongcai ; He, Dake
Author_Institution :
Sch. of Inf. Sci. & Technol., Southwest Jiaotong Univ., Sichuan
Abstract :
Through investigating the replay attack levels on authentication protocols, the notion of the protocol normal form (PNF) is proposed, and 4 PNFs are defined. Then, atomic messages and message blocks that PNF needs are discussed. Finally, by using PNF, a concrete example on how to gradually transform a flawed protocol to PNF degree is given
Keywords :
cryptographic protocols; message authentication; atomic messages; authentication protocol normalization; protocol normal form; Authentication; Concrete; Cryptographic protocols; Data security; Helium; Information science; Information security; Niobium; Public key; Public key cryptography;
Conference_Titel :
Computational Intelligence and Security, 2006 International Conference on
Conference_Location :
Guangzhou
Print_ISBN :
1-4244-0605-6
Electronic_ISBN :
1-4244-0605-6
DOI :
10.1109/ICCIAS.2006.295282
