Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

Proofs and types

Proofs and types

Adding time to a logic of authentication

CCS '93 Proceedings of the 1st ACM conference on Computer and communications security

Using CSP to Detect Errors in the TMN Protocol

IEEE Transactions on Software Engineering

Deciding Cryptographic Protocol Adequacy with HOL

Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications

Automatic Verification of Cryptographic Protocols with SETHEO

CADE-14 Proceedings of the 14th International Conference on Automated Deduction

Narrowing terminates for encryption

CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations

Proving Properties of Security Protocols by Induction

CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations

On Unifying Some Cryptographic Protocol Logics

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy

Automated analysis of cryptographic protocols using Mur/spl phi/

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy

Fast, automatic checking of security protocols

WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2