SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Cryptographic Protocol Generation from CAPSL
 by J. Millen and F. Muller.

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.
BibTEX Entry
@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 = {},
    INSTITUTION = {{SRI} International}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy