Compiling cryptographic protocols for deployment on the web
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell · 2007
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management annotations are attached to protocol actions, and are used to constrain the behavior of a protocol participant to be compatible with its own trust policy.