Operational Semantics and Verification of Security Protocols

Operational Semantics and Verification of Security Protocols
Author :
Publisher : Springer Science & Business Media
Total Pages : 176
Release :
ISBN-10 : 9783540786368
ISBN-13 : 3540786368
Rating : 4/5 (368 Downloads)

Book Synopsis Operational Semantics and Verification of Security Protocols by : Cas Cremers

Download or read book Operational Semantics and Verification of Security Protocols written by Cas Cremers and published by Springer Science & Business Media. This book was released on 2012-10-30 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols. The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that can automatically find attacks on security protocols or prove their correctness. In case studies they show the application of the methodology as well as the effectiveness of the analysis tool. The methodology’s strong mathematical basis, the strong separation of concerns in the model, and the accompanying tool set make it ideally suited both for researchers and graduate students of information security or formal methods and for advanced professionals designing critical security protocols.


Operational Semantics and Verification of Security Protocols Related Books

Operational Semantics and Verification of Security Protocols
Language: en
Pages: 176
Authors: Cas Cremers
Categories: Computers
Type: BOOK - Published: 2012-10-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptogr
Foundations of Security, Protocols, and Equational Reasoning
Language: en
Pages: 250
Authors: Joshua D. Guttman
Categories: Computers
Type: BOOK - Published: 2019-05-17 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Frede
Secure Multi-Party E-Commerce Protocols
Language: en
Pages: 109
Authors: Cătălin V. Bîrjoveanu
Categories: Computers
Type: BOOK - Published: 2022-06-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents the state of the art for multi-party fair exchange protocols and provides insight details regarding multi-party applications for buying physi
Computer Networks
Language: en
Pages: 458
Authors: Piotr Gaj
Categories: Computers
Type: BOOK - Published: 2018-06-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Networks, CN 2018, held in Gliwice, Poland, in June 2
Computer Security Handbook, Set
Language: en
Pages: 2353
Authors: Seymour Bosworth
Categories: Business & Economics
Type: BOOK - Published: 2014-03-24 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Computer security touches every part of our daily lives from our computers and connected devices to the wireless signals around us. Breaches have real and immed