.:. Browse > By authors > Avanesov .:.

2 documents ordered by : Date Title first author name document type Submit date

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]

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]