Login / Signup
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.
Michael Backes
Alex Busenius
Catalin Hritcu
Published in:
NASA Formal Methods (2012)
Keyphrases
</>
code generator
security protocols
process model
code generation
development process
automatically generated
automated design
software engineering
data model
object oriented
software development
database
design process