Automated Formal Methods for Security Protocol Engineering

View Sample PDF

Author(s): Alfredo Pironti (Politecnico di Torino, Italy), Davide Pozza (Politecnico di Torino, Italy)and Riccardo Sisto (Politecnico di Torino, Italy)
Copyright: 2012
Pages: 29
Source title: Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies
Source Author(s)/Editor(s): Junaid Ahmed Zubairi (SUNY at Fredonia, USA)and Athar Mahboob (National University of Sciences & Technology, Pakistan)
DOI: 10.4018/978-1-60960-851-4.ch008

Keywords: Information Science Reference / Information Security & Privacy / IT Security and Ethics / Security & Forensics

Purchase

View Automated Formal Methods for Security Protocol Engineering on the publisher's website for pricing and purchasing information.

Abstract

Designing and implementing security protocols are known to be error-prone tasks. Recent research progress in the field of formal methods applied to security protocols has enabled the use of these techniques in practice. The objective of this chapter is to give a circumstantial account of the state-of-the-art reached in this field, showing how formal methods can help in improving quality. Since automation is a key factor for the acceptability of these techniques in the engineering practice, the chapter focuses on automated techniques and illustrates in particular how high-level protocol models in the Dolev-Yao style can be automatically analyzed and how it is possible to automatically enforce formal correspondence between an abstract high-level model and an implementation.

The IRMA Community

Research IRM

Automated Formal Methods for Security Protocol Engineering

Purchase

Abstract

Related Content

IRMA Sponsors