Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Considering non-malleability in formal models for cryptographic protocols
| 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 pp. |
| Workshop on Issues in the Theory of Security (WITS) <2000, Geneva>
International Colloquium on Automata, Languages, and Programming (ICALP) <27, 2000, Geneva> |
|
| English |
| Conference Paper |
| 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.