Improvement and application of authentication test
Chen Xian · Jisuanji kexue yu tansuo · 2008
Authentication test was proved to be an effective tool of protocol analysis based on strand space. In order to make it to be suitable for analyzing more kinds of protocols and their authentication, security, freshness, non-repudiation and correspondence of principals, authentication test can be improved by making full use of the format of message, fining the procedure of analysis and adding more symbols to represent more goals of security. This improved authentication test combining with model checking automatic tools can solve the problem of space explosion and find detailed attacks as well. It also provides guidance for the design and validation of the protocols.