Intruder deducibility constraints with negation. Decidability and application to secured service compositions
| Autor: | Avanesov, Tigran, Chevalier, Yannick, Rusinowitch, Michael, Turuani, Mathieu |
|---|---|
| Zdroj: | In Journal of Symbolic Computation May-June 2017 80 Part 1:4-26 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect