8746 articles  [version française]
.:. Browse > By authors > Avanesov .:.
2 documents ordered by :

fulltext access Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
N° RR-8017 (2012) [hal-00719011 - version 1]
fulltext access Satisfiability of General Intruder Constraints with and without a Set Constructor
Avanesov T., Chevalier Y., Rusinowitch M., Turuani M.
N° RR-7276 (2010) [inria-00480632 - version 3]