Normal Forms and Normalization of Authentication Protocols
Hongcai Tao, Dake He · 2006
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