A security protocol compiler generating C source codes

Proceedings of the 2nd International Conference on Information Security and Assurance, ISA 2008

Volumn , Issue , 2008, Pages 20-25

  Kiyomoto, Shinsaku ^a   Ota, Haruki ^a   Tanaka, Toshiaki ^a  

^a KDDI R AND D LABORATORIES INC   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); INFORMATION SERVICES; MARKUP LANGUAGES; PORT TERMINALS; SECURITY OF DATA; SPECIFICATIONS;

SECURITY PROTOCOLS;

COMPUTER NETWORKS;

EID: 51349119097     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISA.2008.13     Document Type: Conference Paper

References (12)

1. M. Abadi and D. Gordon. A calculus for cryptographic protocols the spi calculus. Inf. Comput., 148(1):1-70, 1999.
2. M. Bellare and P. Rogaway. Entity authentication and key distribution. In Proc. of CRYPTO '93, LNCS, volume 773, pages 232-249. Springer Verg., 1994.
3. P. Dembinski and S. Budkowski. Specification language estelle. The formal description technique Estelle, pages 35-75, 1989.
4. X. Didelot. A compiler for security protocols. Available at http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Casper/COSFJ/s%ecu. pdf, 2003.
5. E. Kohler, M. F. Kaashoek. and D. R. Montgomery. A readable tep in the prolac protocol language. In Proc. of SIGCOMM '99, pages 3-13. ACM, 1999.
6. G. Lowe. Casper: A compiler for the analysis of security protocols. In Proc. of 10th IEEE Computer Security Foundations Workshop, pages 18-30. IEEE. 1997.
7. S. Lukell and C. Veldman. Automated attack analysis and code generation in a multi-dimensional security protocol engineering framework. In Proc. of Southern African Telecommunications Networks and Applications Conference 2003 (SATNAC 2003), 2003.
8. T. M. McGuire and M. G. Gouda. The Austin protocol compiler, Advances in information security, Vol.13. Springer Verg., 2004.
9. F. Muller and J. Milien. Cryptographic protocol generation from capsl. Technical Report SRI-CSL-01-07, SRI International, 2001.
10. D. Pozza, R. Sisto, and L. Durante. Spi2java: Automatic cryptographic protocol java code generation from spi calculus. In Proc. of 18th International Conference on Advanced Information Networking and Application (AINA '04), pages 400-405. IEEE, 2004.
11. D. Sidhu, A. Chung, and T. P. Blumer. A formal description technique for protocol engineering. Technical Report CSTR-2505, Univ. of Maryland, July 1990.
12. D. Song, A. Perrig, and D. Phan. Agvi -automatic generation, verification, and implementation of security protocols. In Proc. of 13th Conference on Computer Aided Verification (CAV), pages 241-255. Springer Verg., 2001.