TY  - RPRT
TI  - Intruder deducibility constraints with negation. Decidability and application to secured service compositions
AU  - Tigran Avanesov
AU  - Yannick Chevalier
AU  - Michaël Rusinowitch
AU  - Mathieu Turuani
PY  - 2012
UR  - https://arxiv.org/abs/1207.4871
ID  - 1207.4871
ER  -