Computer-Assisted Verification of a Protocol for Certified Email

Abadi, Martín; Blanchet, Bruno

Local TagsRelease HistoryDetailsSummary

Computer-Assisted Verification of a Protocol for Certified Email

Abadi, M., & Blanchet, B. (2005). Computer-Assisted Verification of a Protocol for Certified Email. Science of Computer Programming, 58(1-2), 3-27.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2867-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2868-2

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Abadi, Martín, Author
Blanchet, Bruno¹, Author

Affiliations:
1Static Analysis, MPI for Informatics, Max Planck Society, ou_1116553

Content

show

hide

Free keywords: -

Abstract: We present the formalization and verification of a recent cryptographic protocol for certified email. Relying on a tool for automatic protocol analysis, we establish the key security properties of the protocol. This case study explores the use of general correspondence assertions in automatic proofs, and aims to demonstrate the considerable power of the tool and its applicability to non-trivial, interesting protocols.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2006-04-28Date issued: 2005

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 520664
Other: Local-ID: C1256BDD001D715B-205C31DE36FEC244C1256FB00052677D-AbadiBlanchet2005b

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Science of Computer Programming

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 58 (1-2) Sequence Number: - Start / End Page: 3 - 27 Identifier: ISSN: 0167-6423