Prerequisite Proof of Authentication Protocol
Jing Li-xia · Jisuanji gongcheng · 2011
This paper proposes a binding term theory and constructs the proposition of the prerequisites of authentication protocols based on the binding term theory,which is proved by strand space theory.It takes three classical authentication protocols as examples to verify the proposition proposed.The proposition can decide not only the freshness and the validity of principals,but also the authentication protocols containing type attack flaw.And a simple and effective formal method is provided for deciding security properties of authentication protocols.