Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. - Chul-Wuk Jeon; Il-Gon Kim; Jin-Young Choi (AINA, 2005)