Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

AINA
2005
IEEE

favoriteEmaildiscussreport

152views Computer Networks» more AINA 2005»

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

13 years 10 months ago

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

Download www.irisa.fr

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

Real-time Traffic

AINA 2005 | Computer Networks |

claim paper

Related Content

» Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

» Verifying Distributed Protocols using MSCAssertions Runtime Monitoring and Automatic Test ...

» Ilea interlanguage analysis across java and c

» Using Replication and Partitioning to Build Secure Distributed Systems

» Correctness of Sensor Network Applications by Software Bounded Model Checking

» Remote Job Submission Security

» Melange creating a functional internet

Post Info
More Details (n/a)

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)