Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Considering non-malleability in formal models for cryptographic protocols

 
: Rudolph, C.

International Federation for Information Processing -IFIP-, Working Group 1.7 Theoretical Foundations of Security Analysis and Design:
Workshop on Issues in the Theory of Security, WITS 2000 : IFIP WG 1.7 Theoretical Foundations of Security Analysis and Design. University of Geneva, 7,8 July 2000. Co-located with ICALP '00
Geneva, 2000
6 S.
Workshop on Issues in the Theory of Security (WITS) <2000, Geneva>
International Colloquium on Automata, Languages, and Programming (ICALP) <27, 2000, Geneva>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
formal model; cryptography

Abstract
Properties of different encryption schemes can be distinguished in a formal model for cryptographic protocols on a high level of abstraction. We demonstrate this using non-malleability, a goal that is not provided by many encryption schemes. Two example protocols motivate the consideration of non-malleability on a high level of abstraction.

: http://publica.fraunhofer.de/dokumente/2004931732.html