Cryptology ePrint Archive: Report 2002/015

Security proofs of cryptographic protocols

Eva Jencusova

Abstract: In time of internet attacks is important to use cryptographic protcols and algorithms to secure private data that are sent via Internet. But using of such protocol is not enough. To really secure our data we must know that used protocol is secure. For this purpose where a lot of methods design such as well-known BAN logic. In this articel we want to present DLA (Database and Logic Abduction)- method that is used to prove that a security or cryptographic protocol is secure or it is possible perform an attack.

Category / Keywords: cryptographic protocols / security,cryptographic protocols,IPsec,IKE,Needham-Schroeder protocol,proofs of cryptographic protocols,verifying of of cryptographic protocols,Datalog,Abduction

Date: received 4 Feb 2002

Contact author: jencusova at yahoo com

Available format(s): PDF | BibTeX Citation

Version: 20020204:174134 (All versions of this report)

Short URL: ia.cr/2002/015

Discussion forum: Show discussion | Start new discussion