Title page for ETD etd-04092005-170554

Type of Document

Thesis

Author

Cubukcu, Ilkay

URN

etd-04092005-170554

Title

Formally Evaluating Wireless Security Protocols

Degree

Master of Science

Department

Computer Science, Department of

Advisory Committee

Advisor Name	Title
Alec Yasinsac	Committee Chair
Ladislav Kohout	Committee Member
Robert A. van Engelen	Committee Member

Keywords

Security
Protocol
Authentication
Encryption/Decryption
Formal Methods
Wireless
CPAL-ES
Attack

Date of Defense

2005-04-04

Availability

unrestricted

Abstract

The Cryptographic Protocol Analysis Language Evaluation System (CPAL-ES) is a tool used to analyze protocols with formal methods. In this thesis, we exercise CPAL-ES against two security protocols, the Secure Protocol of Aziz & Diffie, and IEEE 802.1X Standard protocol.
Analyzing cryptographic protocols with formal methods assist us not only finding the flaws but also in understanding them. CPAL-ES is a nice tool to analyze protocols with formal methods. It has an ability to evaluate not only protocols works in wired environment but also wireless protocols. Our analysis with CPAL-ES makes it possible to explore protocol attacks, prove protocol correctness, and analyze protocols in great detail, as well as test the capabilities of CPAL-ES on the wireless protocols. We discuss and analyze several protocols, including The Secure Protocol and IEEE 802.1X Standard protocol, and show how attacks and solutions are simulated on these protocols with Cryptographic Protocol Analysis Language (CPAL). We also discuss the analysis of the interactions between the sub-protocols (EAP and RADIUS) in IEEE 802.1X Standard protocol. Our analysis of the attacks on the IEEE 802.1X Standard protocol proved that even though it is a useful protocol for wireless LANs, it is not secure. However, the Secure Protocol has strong confidentiality but is computationally expensive due to the public key infrastructure.

Files

Filename		Size	Approximate Download Time (Hours:Minutes:Seconds)
Filename		Size	28.8 Modem	56K Modem	ISDN (64 Kb)	ISDN (128 Kb)	Higher-speed Access
	ilkayCubukcuThesis.pdf	574.25 Kb	00:02:39	00:01:22	00:01:11	00:00:35	00:00:03