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:
AD1112611
Title:
Programming Cryptographic Protocols
Corporate Author:
MITRE CORP MCLEAN VA MCLEAN
Report Date:
2004-01-01
Abstract:
A programming language for cryptographic protocols eases design and implementation of application-specific protocols for tasks such as electronic commerce and distributed access control. The language provides a minimal expressiveness useful for defining new protocols. We give the language a semantics via strand spaces, so that the designer can prove that a new protocol meets the security goals. This semantics also motivates a compilation strategy, yielding protocol implementations faithful to their verified behavior. We also aim to clarify the relation between the abstract models used in protocol verification and the actual behavior of protocols as implemented.
Descriptive Note:
Technical Report
Supplementary Note:
01 Jan 0001, 01 Jan 0001, DTIC Crawl
Pages:
0016
Distribution Statement:
Approved For Public Release;
File Size:
0.46MB
