Sciweavers

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

21

ISCC
2007
IEEE

favoriteEmaildiscussreport

78views Communications» more ISCC 2007»

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation

14 years 5 months ago

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation

Download alfredo.pironti.eu

Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from veriﬁed formal models. This paper shows how the last version of spi2Java has been enhanced in order to enable interoperability of the generated implementations. The new features that have been added to spi2Java are reported here. A case study on the SSH Transport Layer Protocol, along with some experiments and measures on the generated code, is also provided. The case study shows, with facts, that reliable and interoperable implementations of standard security protocols can indeed be obtained by using a code generation tool like spi2Java.

Alfredo Pironti, Riccardo Sisto

Real-time Traffic

Case Study | Communications | Cryptographic Protocol Implementations | Generated Implementations | ISCC 2007 |

claim paper

Related Content

» Spi2Java Automatic Cryptographic Protocol Java Code Generation from spi calculus

» Experiments on the Automatic Evolution of Protocols Using Genetic Programming

» Automatic Generation of SigmaProtocols

» Charm A framework for Rapidly Prototyping Cryptosystems

» A Protocol for Programmable Smart Cards

» The Cryptographic Abstract Machine

» A Generic Security API for Symmetric Key Management on Cryptographic Devices

» Provable Implementations of Security Protocols

» Automatic VPN Client Recovery from IPsec Passthrough Failures

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	ISCC
Authors	Alfredo Pironti, Riccardo Sisto

Comments (0)