Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Static Analysis Group     Display Documents



ID: 520664.0, MPI für Informatik / Static Analysis Group
Computer-Assisted Verification of a Protocol for Certified Email
Authors:Abadi, Martín; Blanchet, Bruno
Language:English
Date of Publication (YYYY-MM-DD):2005
Title of Journal:Science of Computer Programming
Volume:58
Issue / Number:1-2
Start Page:3
End Page:27
Review Status:Peer-review
Audience:Experts Only
Intended Educational Use:No
Abstract / Description: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.
Last Change of the Resource (YYYY-MM-DD):2006-04-28
External Publication Status:published
Document Type:Article
Communicated by:to be appointed
Affiliations:MPI für Informatik/Static Analysis Group
Identifiers:LOCALID:C1256BDD001D715B-205C31DE36FEC244C1256FB00052677D-...
ISSN:0167-6423
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.