Accession Number:

AD1016625

Title:

A Hybrid Analysis for Security Protocols with State

Descriptive Note:

Technical Report

Corporate Author:

MITRE Bedford United States

Report Date:

2014-07-16

Pagination or Media Count:

23.0

Abstract:

Cryptographic protocols rely on message-passing to coordinate activity among principals. Many richly developed tools, based on well-understood foundations, are available for the design and analysis of pure message-passing protocols. However, in many protocols, a principal uses non-local, mutable state to coordinate its local sessions.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE