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):
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.