English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Automatic Proof of Strong Secrecy for Security Protocols

Blanchet, B.(2004). Automatic Proof of Strong Secrecy for Security Protocols (MPI-I-2004-NWG1-001). Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany: NWG 1 - Blanchet.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2BC4-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-78EC-C
Genre: Report

Files

show Files
hide Files
:
MPI-I-2004-NWG1-001.ps (Any fulltext), 738KB
View   Save
File Permalink:
https://hdl.handle.net/11858/00-001M-0000-000F-2BC3-2
Name:
MPI-I-2004-NWG1-001.ps
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/postscript / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Blanchet, Bruno1, Author           
Affiliations:
1Static Analysis, MPI for Informatics, Max Planck Society, ou_1116553              

Content

show
hide
Free keywords: -
 Abstract: We present a new automatic technique for proving strong secrecy for security protocols. Strong secrecy means that an adversary cannot see any difference when the value of the secret changes. Our technique relies on an automatic translation of the protocol into Horn clauses, and a resolution algorithm on the clauses. Applying this technique to strong secrecy requires important extensions with respect to previous work for the proof of (standard) secrecy and authenticity. This technique can handle a wide range of cryptographic primitives, and yields proofs valid for an unbounded number of sessions and an unbounded message space; it is also flexible and efficient. We have proved its correctness, implemented it, and tested it on several examples of protocols including JFK (a proposed replacement for IKE in IPsec).

Details

show
hide
Language(s): eng - English
 Dates: 2005-08-122004
 Publication Status: Issued
 Pages: -
 Publishing info: Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany : NWG 1 - Blanchet
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 520667
ISSN: 0946-011X
Other: Local-ID: C1256BDD001D715B-101B1CAFCEF1C690C125705B00327D47-Blanchet2004
Report Nr.: MPI-I-2004-NWG1-001
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Research Report
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -