Application of Checking Model in Security Protocol Analysis
Zhu Hongwen · Jisuanji gongcheng · 2007
This paper proposes a new checking model based on the authentication tests for security protocol analysis.With the model,each component of the ciphertext is verified to determine its originator,so that the replayed attack can be detected in time.The combination of the check model and authentication tests can overcome the deficiency of the original authentication tests in detecting message replay attacks.The proof of neuman-stubblebine protocol shows that the checking model can detect the type flaw attack efficiently,while the original authentication tests cannot.