Programming Cryptographic Protocols
| Title | Programming Cryptographic Protocols |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Guttman, Joshua D., Jonathan Herzog, John D. Ramsdell, and Brian T. Sniffen |
| Editor | Nicola, Rocco, and Davide Sangiorgi |
| Conference Name | Trustworthy Global Computing (TGC 2005) |
| Date Published | April |
| Publisher | Springer-Verlag GmbH |
| Abstract | Cryptographic protocols are useful for trust engineering in
distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principals engaging in it. Moreover, trust management assertions may be attached to protocol actions,
constraining the behavior of a principal to be compatible with its own
trust policy. We embody these ideas in a cryptographic protocol programming language CPPL at the Dolev-Yao level of abstraction. A strand
space semantics for CPPL shaped our compiler development, and allows
a protocol designer to prove that a protocol is sound. |
| URL | http://files.jonathanherzog.com/guttman_programming.pdf |
