• 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. A formal analysis technique for authentication protocols
 
  • Details
  • Full
Options
1996
Conference Paper
Title

A formal analysis technique for authentication protocols

Author(s)
Gürgens, S.
Mainwork
1st International Conference on the Theory and Applications of Cryptology. Proceedings. Pt.1  
Conference
International Conference on the Theory and Applications of Cryptology (PRAGOCRYPT) 1996  
Language
English
Fraunhofer-Institut für Sichere Informationstechnologie SIT  
Keyword(s)
  • security analysis

  • cryptographic protocol

  • authentication logic

  • cryptography

  • formal model

  • protocol

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