article · 2007

Cryptographic Protocol Generation from CAPSL

Jonathan Millen, Frederic Muller

Cited by 0Abstract and details only

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.

Cite this paper

APA 7

Millen, J., & Muller, F. (2007). Cryptographic Protocol Generation from CAPSL.

MLA 9

Millen, Jonathan, and Frederic Muller. “Cryptographic Protocol Generation from CAPSL.” 2007.

Chicago

Millen, Jonathan, and Frederic Muller. 2007. “Cryptographic Protocol Generation from CAPSL.”

Harvard

Millen, J. and Muller, F. (2007) ‘Cryptographic Protocol Generation from CAPSL’.

BibTeX

@article{millen2007cryptographic,
  title = {{Cryptographic Protocol Generation from CAPSL}},
  author = {Millen, Jonathan and Muller, Frederic},
  year = {2007}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.