Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Analyzing Security Protocols with Secrecy Types and Logic Programs

Abadi, M., & Blanchet, B. (2002). Analyzing Security Protocols with Secrecy Types and Logic Programs. In Conference Record of POPL 2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 33-44). New York, USA: ACM.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-30ED-F Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-30EF-B
Genre: Konferenzbeitrag

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 study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy properties. We contribute to these two techniques, in particular by extending the former with a flexible, generic treatment of many cryptographic operations. We also establish an equivalence between the two techniques.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2003-08-292002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 520650
Anderer: Local-ID: C1256BDD001D715B-5D5ADB05B0A19B3AC1256C79003CD989-AbadiBlanchet2002a
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: POPL 2002
Veranstaltungsort: Portland, Oregon, USA
Start-/Enddatum: 2002-01-16 - 2002-01-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Conference Record of POPL 2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, USA : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 33 - 44 Identifikator: ISBN: 1-58113-450-9