An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation.

Alfredo Pironti Riccardo Sisto

Published in: ISCC (2007)

Keyphrases

code generation
application development
rapid prototyping
code generator
software development
cryptographic protocols
modeling language
software reuse
databases
data driven
formal specification
data sources
development process
metamodel
model driven