Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. Journal of Symbolic Computation, 80:4-26, 2017. [doi]
@article{AvanesovCRT17,
title = {Intruder deducibility constraints with negation. Decidability and application to secured service compositions},
author = {Tigran Avanesov and Yannick Chevalier and Michaël Rusinowitch and Mathieu Turuani},
year = {2017},
doi = {10.1016/j.jsc.2016.07.008},
url = {http://dx.doi.org/10.1016/j.jsc.2016.07.008},
researchr = {https://researchr.org/publication/AvanesovCRT17},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {80},
pages = {4-26},
}