IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic generation of the C# code for security protocols verified with Casper/FDR

Proceedings. 19th International Conference on Advanced Information Networking and Applications

Author(s): Chul-Wuk Jeon ; Il-Gon Kim ; Jin-Young Choi
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 28 March 2005
Volume: 2
ISBN (Paper): 0-7695-2249-1
ISSN (Paper): 1550-445X
DOI: 10.1109/AINA.2005.128
Regular:

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... View More

Advertisement