Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Computer-Assisted Verification of a Protocol for Certified Email

Abadi, M., & Blanchet, B. (2003). Computer-Assisted Verification of a Protocol for Certified Email. In R. Cousot (Ed.), Static Analysis, 10th International Symposium, SAS'03 (pp. 316-335). Berlin, Germany: Springer.

Item is

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: 2004-08-182003
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Berlin, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 520655
Anderer: Local-ID: C1256BDD001D715B-A919D91894DD179DC1256D0500580E73-AbadiBlanchet2003b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: San Diego, CA
Start-/Enddatum: 2003-06-11 - 2003-06-13

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Static Analysis, 10th International Symposium, SAS'03
Genre der Quelle: Konferenzband
 Urheber:
Cousot, Radhia, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 316 - 335 Identifikator: ISBN: 3-540-40325-6

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -