Expi2Java - En Extensible Code Generator for Security Protocols

Alex Busenius

Bachelor Thesis Saarland University, 2009.

( BibTeX | Links: )