Call by Contract for Cryptographic Protocols
June 2006
Jon Millen, The MITRE Corporation
Joshua Guttman, The MITRE Corporation
John Ramsdell, The MITRE Corporation
Justin Sheehy, The MITRE Corporation
Brian Sniffen, The MITRE Corporation
ABSTRACT
A compositional approach to protocol design and analysis is recognized as advantageous.
We wish to perform design decomposition in a way that permits
independent design and verification of components, and preserves security and
correctness goals when the components are recombined. There are many different
ways in which composition can be interpreted and implemented. Our
version of composition applies to the design of secure protocols. Our objective
is to extend verification techniques based on abstract encryption models to
protocols that incorporate or implement encapsulated services.
» Download Paper [PDF, 616KB]
Additional Search Keywords
N/A
|
