DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD1016625
Title:
A Hybrid Analysis for Security Protocols with State
Corporate Author:
MITRE Bedford United States
Report Date:
2014-07-16
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.
Descriptive Note:
Technical Report
Pages:
0023
Distribution Statement:
Approved For Public Release;
File Size:
0.33MB
