Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.

Davide Pozza Riccardo Sisto Luca Durante

Published in: AINA (1) (2004)

Keyphrases

code generation
database applications
source code
application development
cryptographic protocols
web services
open source
object oriented
lightweight
development environment
web applications
database
data driven