An Agreement Analysis Method of Security Protocol Based on Authentication Test
基于认证测试的一种安全协议一致性分析方法

Authentication Test is the further development of strand space, it can be used not only for analyzing protocols, but also for guiding the design of protocol. However in the aspect of why a protocol is incorrect and how to improve it,Authentication Test can not offer deeper and more effective analysis as other formal methods. This paper put forward the concept of the parameter-agreement-matrix, carry on deep analysis to the agreement property of protocol, well solve this problem. In addition, the formal process make protocol analysis automatically.