Login / Signup
Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement.
Mohammad Ashiqur Rahman
Ehab 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