• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Considering non-malleability in formal models for cryptographic protocols
 
  • Details
  • Full
Options
2000
Conference Paper
Title

Considering non-malleability in formal models for cryptographic protocols

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.
Author(s)
Rudolph, C.
Mainwork
Workshop on Issues in the Theory of Security, WITS 2000  
Conference
Workshop on Issues in the Theory of Security (WITS) 2000  
International Colloquium on Automata, Languages, and Programming (ICALP) 2000  
Language
English
Fraunhofer-Institut für Sichere Informationstechnologie SIT  
Keyword(s)
  • formal model

  • cryptography

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024