scholarly journals Formal verification of the IEEE 802.11i WLAN security protocol

2006 ◽  
Author(s):  
E. Sithirasenan ◽  
S. Zafar ◽  
V. Muthukkumarasamy
Keyword(s):  
Formal Verification ◽  
Security Protocol

scholarly journals Formal Verification of CHAP PPP authentication Protocol for Smart City/Safe City Applications.

2022 ◽  
Vol 2161 (1) ◽  
pp. 012046
Author(s):  
R Pradeep ◽  
N R Sunitha
Keyword(s):  
Formal Verification ◽  
Smart City ◽  
Smart Cities ◽  
Mathematical Proof ◽  
Security Protocols ◽  
Authentication Protocol ◽  
Security Protocol ◽  
Metropolitan Region ◽  
Security Systems ◽  
Point To Point

Abstract A smart city is a technologically advanced metropolitan region with several connected devices that collects data using various electronic technologies, voice activation methods, and sensors. The information obtained from the data is utilised to efficiently manage assets, resources, and services; in turn, the data is used to enhance operations throughout the city. Achieving security for smart cities is one of the major challenges as the number of connected devices increases the vulnerability also increases. The security of a smart city system depends on the reliability of the security protocols used by the security systems. To design and develop a highly secure system for a smart city the security protocols used must be highly reliable. To prove the reliability of a security protocol the validation technique is not desirable because of its several drawbacks, these drawbacks can be overcome using the formal verification technique which provides the mathematical proof for its correctness. In this work, The Challenge-Handshake Authentication Protocol Point-to-Point (CHAP PPP) which is more commonly used in PPP authentication of smart cities is formally verified using the well-known verification technique known as the model checking technique. The Scyther model checker is the tool used to build the abstract security protocol model.

A Formal Verification Centred Development Process for Security Protocols

2009 ◽  
pp. 165-178 ◽  
Author(s):  
Tom Coffey
Keyword(s):  
Formal Verification ◽  
Communication Systems ◽  
Development Process ◽  
State Of The Art ◽  
Security Protocols ◽  
Security Protocol ◽  
Current State ◽  
Reliable Design

This chapter concerns the correct and reliable design of modern security protocols. It discusses the importance of formal verification of security protocols prior to their release by publication or implementation. A discussion on logic-based verification of security protocols and its automation provides the reader with an overview of the current state-of-the-art of formal verification of security protocols. The authors propose a formal verification centred development process for security protocols. This process provides strong confidence in the correctness and reliability of the designed protocols. Thus, the usage of weak security protocols in communication systems is prevented. A case-study on the development of a security protocol demonstrates the advantages of the proposed approach. The case-study concludes with remarks on the performance of automated logic-based verification and presents an overview of formal verification results of a range of modern security protocols.

scholarly journals Formal verification of security protocol implementations: a survey

2012 ◽  
Vol 26 (1) ◽  
pp. 99-123 ◽  
Author(s):  
Matteo Avalle ◽  
Alfredo Pironti ◽  
Riccardo Sisto
Keyword(s):  
Formal Verification ◽  
Security Protocol

An Enhanced Security Protocol for VANET-Based Entertainment Services

2012 ◽  
Vol E95.B (7) ◽  
pp. 2245-2256 ◽  
Author(s):  
Jung-Yoon KIM ◽  
Hyoung-Kee CHOI
Keyword(s):  
Security Protocol
Sign in / Sign up

Export Citation Format

Share Document