Accession Number:

AD1107787

Title:

Formal Support for Standardizing Protocols with State

Descriptive Note:

Technical Report

Corporate Author:

MITRE CORP MCLEAN VA MCLEAN

Report Date:

2014-01-01

Pagination or Media Count:

19.0

Abstract:

Many cryptographic protocols are designed to achieve theirgoals using only messages passed over an open network. Numerous tools,based on well-understood foundations, exist for the design and analysisof protocols that rely purely on message passing. However, these toolsencounter difficulties when faced with protocols that rely on non-local,mutable state to coordinate several local sessions.We adapt one of these tools, cpsa, to provide automated support forreasoning about state. We use Ryans Envelope Protocol as an exampleto demonstrate how the message-passing reasoning can be integratedwith state reasoning to yield interesting and powerful results

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE