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: 520655.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
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):2003
Title of Proceedings:Static Analysis, 10th International Symposium, SAS'03
Start Page:316
End Page:335
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:San Diego, CA
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
2003-06-11
End Date of Conference/Meeting 
 (YYYY-MM-DD):
2003-06-13
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):2004-08-18
External Publication Status:published
Document Type:Conference-Paper
Communicated by:to be appointed
Affiliations:MPI für Informatik/Static Analysis Group
Identifiers:LOCALID:C1256BDD001D715B-A919D91894DD179DC1256D0500580E73-...
ISBN:3-540-40325-6
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.