Journal Articles
Theoretical Computer Science
Year : 2006
Véronique Cortier : Connect in order to contact the contributor
https://inria.hal.science/inria-00108372
Submitted on : Wednesday, October 25, 2006-10:15:51 AM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Cite
Véronique Cortier, Martin Abadi. Deciding knowledge in security protocols under equational theories.. Theoretical Computer Science, 2006, 367 (1-2), pp.2-32. ⟨10.1016/j.tcs.2006.08.032⟩. ⟨inria-00108372⟩
Collections
83
View
0
Download