Study on framework of authentication property design for security protocols
WU Yuan-chen · Journal of Computer Applications · 2007
A method to design the authentication property of the security protocols was presented.The message structures for the authentication goal were designed.With the help of the channel-model,the dynamic characteristics of security property were added to the designing process.This method used the trace-model to accurately depict the message exchange.The design principles for avoiding the attack on the security properties were discussed and formalized into inference rules.At last,this method was proved to be valid.