Spi2Java: Automatic cryptographic protocol Java code generation from spi calculus

Proceedings - International Conference on Advanced Information Networking and Application (AINA)

Volumn 1, Issue , 2004, Pages 400-405

  Pozza, Davide ^a   Sisto, Riccardo ^a   Durante, Luca ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; CRYPTOGRAPHIC ALGORITHMS; CRYPTOGRAPHIC PROTOCOLS; SECURITY ANALYZERS;

ALGEBRA; ALGORITHMS; COMPUTER AIDED LANGUAGE TRANSLATION; CRYPTOGRAPHY; ENCODING (SYMBOLS); MATHEMATICAL TECHNIQUES; NETWORK PROTOCOLS; PROGRAM PROCESSORS; SECURITY OF DATA; SECURITY SYSTEMS;

JAVA PROGRAMMING LANGUAGE;

EID: 3042621964     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINA.2004.1283943     Document Type: Conference Paper

References (15)

1. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols the spi calculus. Inf. Comput., 1(148):1-70, 1999.
2. E. M. Clarke, S. Jha, and W. Marrero. Verifying security protocols with brutus. ACM Trans. on Softw. Eng. and Meth., 9(4):443-487, 2000.
3. L. Durante, R. Sisto, and A. Valenzano. Automatic testing equivalence verification of spi calculus specifications. ACM Trans. on Softw. Eng. and Meth., 12(2):222-284, Apr. 2003.
4. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. SUN Microsystems, 2nd edition. Online, available at: http://java.sun.com/docs/books/ vmspec/.
5. G. Lowe, Some new attacks upon security protocols. In 9th IEEE Comp. Sec. Found. Work., pages 162-169, 1996.
6. G. Lowe, Casper: A compiler for the analysis of security protocols. J. Comput. Secur., 6(1):53-84, 1998.
7. S. Lukell and C. Veldman. Automated attack analisys and code generation in a unified, multi-dimensional security protocol engineering framework. Comp. Science Hon., 2002.
8. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Inf. Comput., pages 1-77, 1992.
9. F. Muller and J. Millen. Cryptographic protocol generation from capsl. Tech. Rep. SRI-CSL-01-07, SRI Int., 2001.
10. A. Perrig, D. Phan, and D. Song. Acg - automatic code generation and automatic implementation of a security protocol. Tech. Rep. 00-1120, Univ. of California, 2000.
11. A. Perrig, D. Song, and S. Berezin. Athena: a novel approach to efficient automatic security protocol analisys. Tech. rep., Univ. of California and Carnegie Mellon Univ.
12. D. Phan, A. Perrig, and D. Song. Agvi - automatic generation, verification, and implementation of security protocols. Tech. rep., Univ. of California.
13. E. Saul. Facilitating the modelling and automated analysis of cryptographic protocols. Master's thesis, Univ. of Cape Town, 2001.
14. C. Veldman, S. Lukell, and A. Hutchison. Attack modelling, code generation and performance analysis in a multi-dimensional security protocol engineering framework. Project report, Univ. of Cape Town, 2002.
15. F. Yellin. Low level security in Java. Online, available at: http://java.sun.com/sfaq/verifier.html.