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

CoRR. Bd. abs/1107.1017. 2011

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