loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th International Conference on Advanced Information Networking and Applications (AINA'04) Volume 1
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
Fukuoka, Japan
March 29-March 31
ISBN: 0-7695-2051-0
ASCII Text
x 
 
Davide Pozza, Riccardo Sisto, Luca Durante, "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus," Advanced Information Networking and Applications, International Conference on, vol. 1, pp. 400, 18th International Conference on Advanced Information Networking and Applications (AINA'04) Volume 1, 2004.
 
 
BibTex
x
 
@article{ 10.1109/AINA.2004.1283943,
author = {Davide Pozza and Riccardo Sisto and Luca Durante},
title = {Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus},
journal ={Advanced Information Networking and Applications, International Conference on},
volume = {1},
year = {2004},
isbn = {0-7695-2051-0},
pages = {400},
doi = {http://doi.ieeecomputersociety.org/10.1109/AINA.2004.1283943},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Advanced Information Networking and Applications, International Conference on
TI - Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
SN - 0-7695-2051-0
SP
EP
A1 - Davide Pozza,
A1 - Riccardo Sisto,
A1 - Luca Durante,
PY - 2004
KW - null
VL - 1
JA - Advanced Information Networking and Applications, International Conference on
ER -
 
Davide Pozza, Politecnico di Torino, Italy
Riccardo Sisto, Politecnico di Torino, Italy
Luca Durante, IEIIT - CNR, Politecnico di Torino, Italy
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language spi calculus. Spi2Java is part of a set of tools for spi calculus, also including a pre-processor, a parser, and a security analyzer. The latter can formally analyze protocols and detect protocol flaws. When a protocol has been analyzed and an adequate confidence about its correctness has been reached, Spi2Java can generate a corresponding correct Java implementation of the protocol, thus dramatically reducing the risk of introducing security flaws in the coding phase.
Citation:
Davide Pozza, Riccardo Sisto, Luca Durante, "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus," aina, vol. 1, pp.400, 18th International Conference on Advanced Information Networking and Applications (AINA'04) Volume 1, 2004
Usage of this product signifies your acceptance of the Terms of Use.