General Authentication Test

This paper elaborated on two limitations of authentication test. The first is not being applicable for protocols with test component encrypted. The authors analyzed the cause of this limitation, and studied Perrig's improved authentication test, then pointed out its deficiency both through examples and in theory. On the basis of that, the authors proposed their improvement. The other limitation is authentication test restricts the sender of challenge and the receiver of response to be the same entity. The authors extended the conception of authentication test to solve this problem, and proved the correctness of their improvement in formal.