Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Pozza, Riccardo Sisto, Luca Durante. Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. In 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan. pages 400-405, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Davide Pozza' in GoogleThis author has not been identified. Look up 'Riccardo Sisto' in GoogleThis author has not been identified. Look up 'Luca Durante' in Google

runs on WebDSL