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

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics