User: Guest  Login
Document type:
Technical Report 
Author(s):
Jan Juerjens; Thomas A. Kuhn 
Title:
Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation 
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