Login / Signup

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

Davide PozzaRiccardo SistoLuca 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