Issues on designing a cryptographic compiler

Zusammenfassung
Flawed implementations of security protocols is a major source of real world security problems. Typically, security protocols are specified in some "highlevel" way and may even be formally proven secure. Implementing them in practical (and comparatively low-level) source code has turned out to be error-prone. This paper introduces an experimental language for high-level protocol specifications and describes a tool to automatically compile source code from these specifications.
  • Vollständige Referenz
  • BibTeX
Lucks, S., Schmoigl, N. & Tatlı, E. İ., (2005). Issues on designing a cryptographic compiler. In: Wulf, C., Lucks, S. & Yau, P.-W. (Hrsg.), WEWoRC 2005 – Western European Workshop on Research in Cryptology. Bonn: Gesellschaft für Informatik e.V.. (S. 109-122).
@inproceedings{mci/Lucks2005,
author = {Lucks, Stefan AND Schmoigl, Nico AND Tatlı, Emin İslam},
title = {Issues on designing a cryptographic compiler},
booktitle = {WEWoRC 2005 – Western European Workshop on Research in Cryptology},
year = {2005},
editor = {Wulf, Christopher AND Lucks, Stefan AND Yau, Po-Wah} ,
pages = { 109-122 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Edition74.-11.pdf199.5Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-403-9
ISSN: 1617-5468
Datum: 2005
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige