A Framework for Cryptographic Protocol Evaluation Workbench

Get BibTex-formatted data

Author

Yasinsac, Alec; Wulf, William A.

Entry type

booklet

Abstract

Tools to evaluate Cryptographic Protocols (CPs) exploded into the literature after development of BAN Logic. Many of these were created to repair weaknessess 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 multiple CP evaluation tools in a single environment. Moreover, this environment exhibits characteristics that will enhance the effectiveness of the CP evaluation methods themselves.

Date

2001

Journal

International Journal of Reliability, Quality and Safety Engineering

Key alpha

Yasinsac

Number

Publisher

World Scientific Publishing Company

Volume

Affiliation

ACM and IEEE

Publication Date

2001-01-01

Copyright

World Scientific Publishing Company

Keywords

Formal Methods; Verification; Cryptographic; Protocols; Weakest Precondition

Language

English

Location

A hard-copy of this is in the Papers Cabinet

Subject

cryptographic protocol evaluation workbench

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

@Booklet{ Yasinsac,
	title = "A Framework for Cryptographic Protocol Evaluation Workbench",
	author = "Yasinsac, Alec; Wulf, William A.",
	year = "2001",
	journal = "International Journal of Reliability, Quality and Safety Engineering",
	number = "4",
	publisher = "World Scientific Publishing Company",
	volume = "8",
	abstract = "Tools to evaluate Cryptographic Protocols (CPs) exploded into the literature after development of BAN Logic.  Many of these were created to repair weaknessess 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 multiple CP evaluation tools in a single environment.  Moreover, this environment exhibits characteristics that will enhance the effectiveness of the CP evaluation methods themselves.",
	affiliation = "ACM and IEEE",
	copyright = "World Scientific Publishing Company",
	keywords = "Formal Methods; Verification; Cryptographic; Protocols; Weakest Precondition",
	language = "English",
	subject = "cryptographic protocol evaluation workbench",
}