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: 520660.0, MPI für Informatik / Static Analysis Group
Just Fast {Keying} in the {Pi} Calculus
Authors:Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
Language:English
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):2004
Title of Proceedings:Programming Languages and Systems : 13th European Symposium on Programming (ESOP 2004)
Start Page:340
End Page:354
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:Barcelona, Spain
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
2004-03-29
End Date of Conference/Meeting 
 (YYYY-MM-DD):
2004-04-02
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:JFK is a recent, attractive protocol for fast key establishment as
part of securing IP communication. In this paper, we analyze it
formally in the applied pi calculus (partly in terms of
observational equivalences, partly with the assistance of an
automatic protocol verifier). We treat JFK's core security
properties, and also other properties that are rarely articulated
and studied rigorously, such as resistance to denial-of-service attacks.
In the course of this analysis we found some ambiguities and minor
problems, but we mostly obtain positive results about JFK. For this
purpose, we develop ideas and techniques that should be useful more
generally in the specification and verification of security
protocols.
Last Change of the Resource (YYYY-MM-DD):2005-05-30
External Publication Status:published
Document Type:Conference-Paper
Communicated by:to be appointed
Affiliations:MPI für Informatik/Static Analysis Group
Identifiers:LOCALID:C1256BDD001D715B-284E4CE5C9F5B245C1256E56005CE7AD-...
ISBN:3-540-21313-9
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.