摘要：Through the research process of Yahalom protocol by using authentication test, the problem of authentication tests cannot always available when there are not only one transform occurs in one transform path. Has this problem mainly is as a result of the authentication test theorems aimed at testing component which is merely once transformation, but the analytical ability of several transformations is not strong enough. After analyzing the authentication test theorems, I proposed an enhanced outgoing test theorem which enhanced capability of the completeness, in order to carry out authentication when the above-mentioned problems happen, the proof for theorem is given. Finally this method is used to authenticate Yahalom protocol and prove Yahalom protocol can fulfill the authentication property.
