Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Practical Security Analysis of C Programs Using Automated Theorem Proving

2004

Erscheinungsjahr: 2004

Publikationstyp: Diverses (Forschungsbericht)

Sprache: Englisch

Schlüsselwörter:

  • Automated Theorem Proving
  • Code Analysis
  • OpenSSH
  • Security
  • Verification
Geprüft:Bibliothek

Inhaltszusammenfassung

Autoren

Jürjens, Jan (Autor)
Kuhn, Thomas A. (Autor)

Beteiligte Einrichtungen

Logo FB 4: Informatik
Logo Institut für Informatik
Logo Universität Koblenz