Starten Sie Ihre Suche...


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

Practical Security Analysis of C Programs Using Automated Theorem Proving

2004

Erscheinungsjahr: 2004

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

GeprüftBibliothek

Inhaltszusammenfassung

  • Automated Theorem Proving
  • Code Analysis
  • OpenSSH
  • 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