Starten Sie Ihre Suche...


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

Extracting and verifying cryptographic models from C protocol code by symbolic execution.

ACM Conference on Computer and Communications Security. 2011 S. 331 - 340

Erscheinungsjahr: 2011

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Aizatulin, Mihhail (Autor)
D. Gordon, Andrew (Autor)
Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik