Limitations of authentication test in the analysis of multi-party security protocols

This paper points out the limitations of the structure of authentication test (AT) and the semantics of strand space, which causes that it is incomplete, or produces erroneous authentication when using AT to analyze multi-party security protocols. And at present, the existing improved schemes of AT have the same limitations, since they are all proposed based on the original frame structure of AT. By transferring the node relations of strand space into the component, and introducing the concept of Attack Equivalence Class (AEC), Component Transform Chain(CTC) and so on, this paper proposed a new AT scheme, with corresponding formal proof and instance verification. The new method not only breaks through the above limitations, but also improves the efficiency of implementation and is easy to realize automation.