Section 1. Introduction Section 2. the Cryptographic Protocol Analysis Language Evaluation System 2.1. Specifying a Protocol in Cpal. a Framework for a Cryptographic Protocol Evaluation Workbench


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… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics