Compiling and Verifying Security Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Compiling and Verifying Security Protocols

Abstract

Le papier décrit une procédure de compilation et de preuve de protocoles de sécurité.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00099161 , version 1

Cite

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols. International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160. ⟨inria-00099161⟩
52 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More