Login / Signup

Modeling, analyzing, and consistency checking privacy requirements using eddy.

Daniel SmullenTravis D. Breaux
Published in: HotSoS (2016)
Keyphrases
  • consistency checking
  • privacy requirements
  • query answering
  • privacy preserving
  • image sequences
  • temporal reasoning
  • temporal constraints