Accession Number:

AD1016625

Title:

A Hybrid Analysis for Security Protocols with State

Descriptive Note:

Technical Report

Corporate Author:

MITRE Bedford United States

Personal Author(s):

• Ramsdell,John D.
• Dougherty,Daniel J.
• Guttman,Joshua D.
• Rowe,Paul D.

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.

Descriptors:

• message processing
• cryptography
• computer network security
• DATABASES
• Network Protocols
• SECURITY PROTOCOLS
• secure communications

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE