Login / Signup

Intruder deducibility constraints with negation. Decidability and application to secured service compositions.

Tigran AvanesovYannick ChevalierMichaël RusinowitchMathieu Turuani
Published in: J. Symb. Comput. (2017)
Keyphrases
  • databases
  • logic programming
  • constraint satisfaction
  • query processing
  • description logics
  • logic programs
  • genetic algorithm
  • knowledge base
  • query language