Deciding key cycles for security protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006
No file

Dates and versions

inria-00108387 , version 1 (20-10-2006)

Identifiers

  • HAL Id : inria-00108387 , version 1

Cite

Véronique Cortier, Eugen Zalinescu. Deciding key cycles for security protocols. Proc. of the 13th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), Nov 2006, Phnom Penh, Cambodia. ⟨inria-00108387⟩
37 View
0 Download

Share

Gmail Facebook X LinkedIn More