Robust pre-authentication protocol for wireless network

2017 ◽  
Author(s):  
Mohammed Aly Abdrabou
Keyword(s):  
Wireless Network ◽  
Authentication Protocol

Modeling of Wireless Network Security Authentication Protocol Based on SPIN

2013 ◽  
Vol 336-338 ◽  
pp. 1892-1897
Author(s):  
Li Zhou ◽  
Fang Yong Tan
Keyword(s):  
Network Security ◽  
Model Checking ◽  
Wireless Network ◽  
Authentication Protocol ◽  
Security Vulnerabilities ◽  
Wireless Network Security ◽  
Security Authentication ◽  
Security Properties ◽  
Authentication Security ◽  
Network Authentication

It’s important to insure wireless network authentication security. Via model checking tool SPIN modeling 802.1x EAP-TLS authentication protocol, communication parts are defined with model checking language PROMELA, security properties are expressed by LTL formula, and the model is verified. With the attack track given by SPIN, the security vulnerabilities caused by the improper configuration is pointed out, meanwhile the new tunnel authentication protocol is proposed to reduce the occurrence of attack and to improve the agreement.

scholarly journals Proxy Base Station based Authentication Protocol for Broadband Wireless Network

2013 ◽  
Vol 63 (18) ◽  
pp. 6-13 ◽  
Author(s):  
Fuden Tshering ◽  
Prachi Deshpande ◽  
S. C. Sharma ◽  
Anjali Sardana
Keyword(s):  
Wireless Network ◽  
Authentication Protocol ◽  
Base Station ◽  
Broadband Wireless
Sign in / Sign up

Export Citation Format

Share Document