Sciweavers

Share
AINA
2005
IEEE

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

9 years 5 months ago
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR
Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where AINA
Authors Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi
Comments (0)
books