Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR.

Chul-Wuk Jeon Il-Gon Kim Jin-Young Choi

Published in: AINA (2005)

Keyphrases

security protocols
automated design
security services
security properties
cryptographic algorithms
artificial immune algorithm
key management
source code
authentication protocol
security mechanisms
security requirements
secure communication
real time
engineering design