Login / Signup
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