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]
Abstract is missing.