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.


Abstract
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 = {http://www.csl.sri.com/papers/generate/},
    INSTITUTION = {{SRI} International}
}
Files
 













 

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