Formal Modeling and Security Analysis of Security Protocols

Paolo Modesti, Rémi Garcia

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Security protocols are critical components for the construction of secure Internet services but their design and implementation are difficult and error prone. Formal modeling and verification can be extremely beneficial to support the development of secure software. This chapter introduces tools and techniques for the formal modeling and security analysis of cryptographic protocols. It considers the process of constructing a formal model from a given set of requirements, and discusses the theoretical and practical challenges in automated verification. Different specification languages and verification tools are considered to cater to different levels of user expertise and complexity of the protocols under analysis. The chapter includes case studies, demonstrating the practical applicability of these tools in different application fields: e-commerce, e-payments, and blockchain. It also considers modeling and verification in the context of security protocol development, and also introduces the fundamentals like the attacker model and security properties.

Original languageEnglish
Title of host publicationHandbook of Formal Analysis and Verification in Cryptography
EditorsSedat Akleylek, Besik Dundua
PublisherCRC Press
Chapter5
Pages213-274
Number of pages62
Edition1st
ISBN (Electronic)9781000955477
ISBN (Print)9780367546656
DOIs
Publication statusPublished - 19 Sept 2023

Publication series

NameHandbook of Formal Analysis and Verification in Cryptography

Fingerprint

Dive into the research topics of 'Formal Modeling and Security Analysis of Security Protocols'. Together they form a unique fingerprint.

Cite this