Benutzer: Gast  Login
Titel:

Practical Security Analysis of C Programs Using Automated Theorem Proving

Dokumenttyp:
Technical Report
Autor(en):
Jan Juerjens; Thomas A. Kuhn
Abstract:
Designing and implementing cryptographic protocols is known to be difficult. A lot of research has been devoted to develop formal techniques to analyze designs of cryptographic protocols. Less attention has been paid to the verification of protocol implementations. This is an important challenge since it is non-trivial to securely implement secure designs, because a specification by its nature is more abstract than the corresponding implementation, and the additional information may introduce at...     »
Stichworte:
Security; Code Analysis; Verification; Automated Theorem Proving; OpenSSH
Jahr:
2004
Jahr / Monat:
2004-12-01 00:00:00
Seiten/Umfang:
26
 BibTeX