Rule-based Programs describing Internet Security Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Rule-based Programs describing Internet Security Protocols


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.


Other [cs.OH]
No file

Dates and versions

inria-00099888 , version 1 (26-09-2006)


  • HAL Id : inria-00099888 , version 1


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⟩
100 View
0 Download


Gmail Facebook X LinkedIn More