User: Guest  Login
Title:

Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation

Document type:
Technical Report
Author(s):
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...     »
Keywords:
Security; Protocols; Verification; Cryptography; Automated Theorem Proving
Year:
2004
Year / month:
2004-12-01 00:00:00
Pages:
21
 BibTeX