TWO AUTHENTICATION PROTOCOLS AND THEIR SECURITY ANALYSIS IN WIRELESS MOBILE NETWORK

摘要

According to the security characteristics of wireless mobile network, two kinds of simple authentication protocols: Point to Point Simple Authentication Protocol and Trusted Third Party Simple Authentication Protocol, were designed. And the author also has analysed the security of two protocols to make sure that both of them have achieved the target of key-oriented, key affirmation and mutual key trust via the formal analysis method, called SVO logic - the modal logic method based on knowledge and belief reasoning.