Rule-based Programs describing Internet Security Protocols

Yannick Chevalier 1 Laurent Vigneron 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We present a low-level specification language used for describing real Internet security protocols. Specifications are automatically generated by a compiler, from TLA-based high-level descriptions of the protocols. The results are rule-based programs containing all the information needed for either implementing the protocols, or verifying some security properties. This approach has already been applied to several well-known Internet security protocols, and the generated programs have been successfully used for finding some attacks.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00099888
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 10:03:18 AM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM

Identifiers

  • HAL Id : inria-00099888, version 1

Citation

Yannick Chevalier, Laurent Vigneron. Rule-based Programs describing Internet Security Protocols. 5th International Workshop on Rule-Based Programming - RULE'2004, Jun 2004, Aachen, Germany, pp.83-97. ⟨inria-00099888⟩

Share

Metrics

Record views

239