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: 520665.0, MPI für Informatik / Static Analysis Group
Reconstruction of Attacks against Cryptographic Protocols
Authors:Allamigeon, Xavier; Blanchet, Bruno
Language:English
Publisher:IEEE
Place of Publication:Los Alamitos, USA
Date of Publication (YYYY-MM-DD):2005
Title of Proceedings:18th IEEE Computer Security Foundations Workshop (CSFW-18)
Start Page:140
End Page:154
Place of Conference/Meeting:Aix-en-Provence, France
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
2005-06-20
End Date of Conference/Meeting 
 (YYYY-MM-DD):
2005-06-22
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:We study an automatic technique for the verification of cryptographic
protocols based on a Horn clause model of the protocol. This technique
yields proofs valid for an unbounded number of sessions of the
protocol. However, up to now, it gave no definite information
when the proof failed.
In this paper, we present an algorithm for reconstructing
an attack against the protocol when the desired security property
does not hold.
We have proved soundness, termination, as well as a partial completeness
result for our algorithm. We have also implemented it in the automatic
protocol verifier ProVerif.
As an extreme example, we could reconstruct an attack involving 200
parallel sessions against the f$^{200}$g$^{200}$ protocol.
Last Change of the Resource (YYYY-MM-DD):2006-04-28
External Publication Status:published
Document Type:Conference-Paper
Communicated by:to be appointed
Affiliations:MPI für Informatik/Static Analysis Group
Identifiers:LOCALID:C1256BDD001D715B-79D6998A96BE643EC1256FC20036DDA2-...
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.