Automatic generation of the C# code for security protocols verified with casper/FDR

Proceedings - International Conference on Advanced Information Networking and Applications, AINA

Volumn 2, Issue , 2005, Pages 507-510

  Jeon, Chul Wuk ^a   Kim, Il Gon ^a   Choi, Tin Young ^a  

^a Korea University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; NETWORK PROTOCOLS; SECURITY OF DATA;

AUTOMATIC CODE GENERATION; DESIGN VERIFICATION; SECURE CODE; SECURITY PROTOCOL;

CODES (SYMBOLS);

EID: 33744474077     PISSN: 1550445X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINA.2005.128     Document Type: Conference Paper

References (6)

1. M.Burrows, M.Abadi, and R.Needham. A Logic of Authentication. ACM Transactions on Computer Systems, pp. 18-36, 1990.
2. P.Y.A. Ryan and S. A, Schneider. Modeling and analysis of security protocols: the CSP Approach. Addison-Wesley, 2001.
3. M.Zalewski. Remote vulnerability in SSH daemon crc32 compensation attack detector. Available from http://razor.bindview.com/publish/advisories/ adv_ssh1crc.html, 2001.
4. X.Didelot. COSP-J: A Compiler for Security Protocols. MSc dissertation, Available from http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Casper/ COSPJ/, 2003.
5. K.Shakil. Security Features in C#, The article, Available from http://www.developersdex.com/gurus/articles/5.asp, 2004.
6. Gavin Lowe. Analysing Protocols Subject to Guessing Attacks. Journal of Computer Security, 2004.