Conference Papers
Year : 2006
Véronique Cortier : Connect in order to contact the contributor
https://inria.hal.science/inria-00108387
Submitted on : Friday, October 20, 2006-4:06:21 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
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⟩
Collections
37
View
0
Download