Starten Sie Ihre Suche...


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

Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.

ASE. 2006 S. 167 - 176

Erscheinungsjahr: 2006

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik