Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Computer-Assisted Verification of a Protocol for Certified Email

Abadi, M., & Blanchet, B. (2005). Computer-Assisted Verification of a Protocol for Certified Email. Science of Computer Programming, 58(1-2), 3-27.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2867-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2868-2
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Abadi, Martín, Autor
Blanchet, Bruno1, Autor           
Affiliations:
1Static Analysis, MPI for Informatics, Max Planck Society, ou_1116553              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2006-04-282005
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 520664
Anderer: Local-ID: C1256BDD001D715B-205C31DE36FEC244C1256FB00052677D-AbadiBlanchet2005b
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Science of Computer Programming
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 58 (1-2) Artikelnummer: - Start- / Endseite: 3 - 27 Identifikator: ISSN: 0167-6423