| SciPort RLP

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

Verification of low-level crypto-protocol implementations using automated theorem proving.

MEMOCODE. 2005 S. 89 - 98

Erscheinungsjahr: 2005

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens
Mitarbeiter/in
(Institut für Softwaretechnik)

Beteiligte Einrichtungen