Application of SPIN in Wireless Network Security Authentication Protocol Modeling
Tan Fang-yong · Coal Technology · 2013
To insure wireless network authentication security,applying SPIN models 802.1x EAP-TLS authentication protocol.With the attack track given by SPIN,the security vulnerabilities caused by the improper configuration are pointed out,meanwhile the new tunnel authentication protocol is proposed to reduce the occurrence of attack and to improve the agreement.With communication parts defined by model checking language PROMELA,security properties expressed by LTL formula,a method of verifying authentication protocol is proposed based on SPIN.