Tools to evaluate Cryptographic Protocols (CPs) exploded into the literature after development of BAN Logic [BAN88,BAN90]. Many of these were created to repair weaknesses in BAN Logic. Unfortunately, these tools are all complex and difficult to implement individually, with little or no effort available to implement multiple tools in a workbench environment. We propose a framework that allows a protocol analyst to exercise multple CP evaluation tools in a single environment. Moreover, this

more »

... nment exhibits characteristics that will enhance the effectiveness of the CP evaluation methods themselves.