loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07)
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
Szklarska Poreba, Poland
June 14-June 16
ISBN: 0-7695-2850-3
ASCII Text
x 
 
M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano, "Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols," Dependability of Computer Systems, International Conference on, pp. 153-160, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/DEPCOS-RELCOMEX.2007.24,
author = {M. Cheminod and I. Cibrario Bertolotti and L. Durante and R. Sisto and A. Valenzano},
title = {Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols},
journal ={Dependability of Computer Systems, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2850-3},
pages = {153-160},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Dependability of Computer Systems, International Conference on
TI - Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
SN - 0-7695-2850-3
SP153
EP160
A1 - M. Cheminod,
A1 - I. Cibrario Bertolotti,
A1 - L. Durante,
A1 - R. Sisto,
A1 - A. Valenzano,
PY - 2007
KW - null
VL - 0
JA - Dependability of Computer Systems, International Conference on
ER -
 
M. Cheminod, IEIIT-CNR, Italy
I. Cibrario Bertolotti, IEIIT-CNR, Italy
L. Durante, IEIIT-CNR, Italy
R. Sisto, Politecnico di Torino, Italy
A. Valenzano, IEIIT-CNR, Italy
The tools for cryptographic protocols analysis based on state exploration are designed to be completely automatic and should carry out their job with a limited amount of computing and storage resources, even when run by users having a limited amount of expertise in the field. This paper compares four tools of this kind to highlight their features and ability to detect bugs under the same experimental conditions. To this purpose, the ability of each tool to detect known flaws in a uniform set of well-known cryptographic protocols has been checked.
Citation:
M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano, "Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols," depcos-relcomex, pp.153-160, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.