Deciding knowledge in security protocols under equational theories. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2006

Dates and versions

inria-00108372 , version 1 (25-10-2006)

Identifiers

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

Altmetric

Share

Gmail Facebook X LinkedIn More