Informal Analysis for Authentication Protocol Security
Informal methods for the analysis of cryptographic protocols especially authentication protocols are becoming more important in complicated modern communications.This paper points out that neither the famous Abadi's principles nor Lin etc.'s reasons or suggestions are sufficient to correct the flaws,so some new attacks upon their fixed protocols can be presented by us.Two requirements essential for cryptographic protocol security are presented in this paper via analysis of some classical cryptographic protocols.Finally,this paper demonstrates the concrete method on how to achieve the liveness of principal,the freshness and association of freshness identifier for challenge-response authentication protocols.