Benutzer: Gast  Login
Titel:

Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation

Dokumenttyp:
Technical Report
Autor(en):
Jan Juerjens; Thomas A. Kuhn
Abstract:
Automated theorem proving is both automatic and can be quite efficient. When using theorem proving approaches for security protocol analysis, however, the problem is often that absence of a proof of security of a protocol may give little hint as to where the security weakness lies, to enable the protocol designer to improve the protocol. For our approach to verify cryptographic protocols using automated theorem provers for first-order logic (such as e-SETHEO or SPASS), we demonstrate a method fo...     »
Stichworte:
Security; Protocols; Verification; Cryptography; Automated Theorem Proving
Jahr:
2004
Jahr / Monat:
2004-12-01 00:00:00
Seiten/Umfang:
21
 BibTeX