Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani. Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
Journal of Symbolic Computation, Elsevier, 2017, 80, pp.4 - 26.
⟨10.1016/j.jsc.2016.07.008⟩.
⟨hal-01405851⟩