Analyzing model of amended wireless authentication protocol SSM
Zepeng Zhuo · Computer Engineering and Applications Journal · 2009
It is the first time to prove the Liu Xia’s modified version of server-specific MAKEP protocol with the theory of strand space which is a rising formal analysis tool.Firstly,its confidentiality is analyzed,and two concepts honest and ideal are used to simplify the process of verification.It indicates that rs,rc are secret.Then its authentication is analyzed,the analysis contains responser’s authentication and sponsor’s authentication.At last,the result shows that the amended SSM protocol can reach the goal of the protocol.