Login / Signup

Logical Reasoning for Disjoint Permissions.

Xuan Bach LeAquinas Hobor
Published in: ESOP (2018)
Keyphrases
  • logical reasoning
  • formal semantics
  • access control
  • pairwise
  • data structure
  • data sets
  • artificial intelligence
  • case study