Login / Signup

Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement.

Mohammad Ashiqur RahmanEhab Al-Shaer
Published in: IEEE Trans. Parallel Distributed Syst. (2017)
Keyphrases
  • access control
  • distributed network
  • databases
  • control system
  • fine grained
  • software architecture
  • third party
  • security policies