19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 2 (INA,, USW,, WAMIS,, and IPv6 papers) Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR Taipei, Taiwan March 25-March 30 ISBN: 0-7695-2249-1
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AINA.2005.128
Formal methods technique offer a means of verifying the correctness of the design process used to create the security protocol. Notwithstanding the successful verification of the design of security protocols, the implementation code for them may contain security flaws, due to the mistakes made by the programmers or bugs in the programming language itself. We propose an ACG-C# tool, which can be used to generate automatically C# implementation code for the security protocol verified with Casper and FDR. The ACG-C# approach has several different features, namely automatic code generation, secure code, and high confidence. We conduct a case study on the Yahalom security protocol, using ACG-C# to generate the C# implementation code.
Citation:
Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi, "Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR," aina, vol. 2, pp.507-510, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 2 (INA,, USW,, WAMIS,, and IPv6 papers), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb