Extending Constraint Solving for Cryptographic Protocol Analysis with Non-Standard Attacker Inference Rules

S. Malladi and S.J. Rosenberg (USA)

Keywords

Communication Security, Cryptographic Protocols

Abstract

In this paper, we extend constraint solving for protocol analysis with two non-standard attacker inference rules that are possible when using the CBC method for symmetric key encryption and the RSA method for asymmetric key encryption. We explain our technique and implementa tion using some examples which include previously un known attacks on popular protocols. We also simplify the framework of constraint solving as presented by Millen and Shmatikov.

Important Links:

• DOI:
• From Proceeding (499) Communication, Network, and Information Security - 2005

Go Back