Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/www2007/paper/main/140> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 140 creator jay-mccarthy.
- 140 creator john-d-ramsdell.
- 140 creator joshua-d-guttman.
- 140 creator shriram-krishnamurthi.
- 140 type InProceedings.
- 140 label "Compiling Cryptographic Protocols for Deployment on the Web".
- 140 sameAs 140.
- 140 abstract "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.<br /><br /> The first implementation of CPPL generated stand-alone, single-session servers, making it unsuitable for deploying protocols on the Web. We describe a new compiler that uses a constraint-based analysis to produce multi-session server programs. The resulting programs run without persistent TCP connections for deployment on traditional Web servers. Most importantly, the compiler preserves existing proofs about the protocols. We present an enhanced version of the CPPL language, discuss the generation and use of constraints, show their use in the compiler, formalize the preservation of properties, present subtleties, and outline implementation details.".
- 140 hasAuthorList authorList.
- 140 isPartOf proceedings.
- 140 title "Compiling Cryptographic Protocols for Deployment on the Web".