Login / Signup
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
Tigran Avanesov
Yannick Chevalier
Michaël Rusinowitch
Mathieu Turuani
Published in:
CoRR (2012)
Keyphrases
</>
logic programming
database
case study
description logics
service compositions