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.
Type de document :
Communication dans un congrès
Abdennadher, Slim and Ringeissen, Christophe. 5th International Workshop on Rule-Based Programming - RULE'2004, Jun 2004, Aachen, Germany, pp.83-97, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00099888
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:03:18
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : inria-00099888, version 1

Citation

Yannick Chevalier, Laurent Vigneron. Rule-based Programs describing Internet Security Protocols. Abdennadher, Slim and Ringeissen, Christophe. 5th International Workshop on Rule-Based Programming - RULE'2004, Jun 2004, Aachen, Germany, pp.83-97, 2004. 〈inria-00099888〉

Partager

Métriques

Consultations de la notice

226