Modeling of Wireless Network Security Authentication Protocol Based on SPIN

Li Zhou; Fang Yong Tan

doi:10.4028/www.scientific.net/AMM.336-338.1892

Paper Titles

Restarted LBFGS Algorithm for Power Amplifier Predistortion
p.1871

Improved GPSR Routing Protocol in VANETs
p.1877

A Kind of Effective Protection of Privacy and Low Cost RFID Security Authentication Protocol
p.1882

An Improved Multi-Label Anti-Collision Algorithm of RFID
p.1887

Modeling of Wireless Network Security Authentication Protocol Based on SPIN
p.1892

The Design of Urban Parking Guidance and Information System Based on ZigBee Technology
p.1898

ECU Calibration System Based on ASAP
p.1902

Hardware in the Loop Simulation for Low-Altitude UAV Link in the Complex Terrain
p.1907

RFID Authentication and Communication Protocol Based on the Dynamic Active Tag ID and Key
p.1913

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 336-338Modeling of Wireless Network Security...

Modeling of Wireless Network Security Authentication Protocol Based on SPIN

Abstract:

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.

You might also be interested in these eBooks

Industrial Instrumentation and Control Systems II

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 336-338)

Pages:

1892-1897

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.336-338.1892

Citation:

Cite this paper

Online since:

July 2013

Authors:

Li Zhou, Fang Yong Tan

Keywords:

Authentication Protocol, EAP-TLS, Model Checking, Protocol Verifying

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Mordechai Ben-Ari. Principles of the Spin Model Checker[M]. Springer, (2008).

Google Scholar

[2] Dorothy Stanley, Jesse R. Walker, Bernard Aboba, Extensible Authentication Protocol (EAP) Method Requirements for Wireless LANs, RFC 4017, March (2005).

DOI: 10.17487/rfc4017

Google Scholar

[3] Paul Congdon, Bernard Aboba, Andrew Smith, John Roese, Glen Zorn, IEEE 802. 1X Remote Authentication Dial In User Service (RADIUS), RFC 3580, September (2003).

DOI: 10.17487/rfc3580

Google Scholar

[4] LAN Zhen-ping, TAO Xue-heng, SUN Yan-guo, Reseach on security mechanism of WLAN based on EAP and VPN, Computer Engineering and Design, vol. 27, pp.1002-1004, March (2006).

Google Scholar

[5] Bernard Aboba, Dan Simon, PPP EAP TLS Authentication Protocol, RFC 2716, October (1999).

DOI: 10.17487/rfc2716

Google Scholar

[6] Tim Dierks, Eric Rescorla. The Transport Layer Security (TLS) Protocol Version 1. 2[S]. RFC 5246, (2008).

DOI: 10.17487/rfc5246

Google Scholar

[7] Williams Stallings, Network Security Essentials: Applications and Standards (Edition 4th), March (2010).

Google Scholar

[8] Paul Funk, Simon Blake-Wilson. Extensible Authentication Protocol Tunneled Transport Layer Security Authenticated Protocol Version 0 (EAP-TTLSv0)[S]. RFC 5281, (2008).

DOI: 10.17487/rfc5281

Google Scholar