Number SRI-CSL-01-07.
SRI International.
December, 2001.

Java code is generated to implement cryptographic network protocols specified abstractly in CAPSL. The translation source is the CAPSL intermediate language CIL, and the output includes code for each party and for a demonstration environment server that permits user examination and control of communication. Standard Java cryptographic providers are used.

@Technical Report{unspecified,
    AUTHOR = {{J.} Millen and {F.} Muller},
    TITLE = {Cryptographic Protocol Generation from {CAPSL}},
    NUMBER = {{SRI-CSL-01-07}},
    YEAR = {2001},
    MONTH = {December},
    URL = {http://www.csl.sri.com/papers/generate/},
    INSTITUTION = {{SRI} International}
}

• generate.ps