Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation

München: Technische Universität München, Institut für Informatik 2004

Erscheinungsjahr: 2004

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Website
GeprüftBibliothek

Inhaltszusammenfassung

  • Attack Generation
  • Automated Theorem Proving
  • Cryptographic Protocols
  • Security
  • Verification

Autoren

Jürjens, Jan (Autor)
Kuhn, Thomas A. (Autor)

Beteiligte Einrichtungen

Logo FB 4: Informatik
Logo Institut für Informatik
Logo Universität Koblenz