Login / Signup
Formal Enforcement of Security Policies on Parallel Systems with Risk Integration.
Marwa Ziadia
Mohamed Mejri
Published in:
C2SI (2015)
Keyphrases
</>
security policies
access control
distributed systems
formal methods
security management
access control mechanism
access control systems
relational databases
computer systems
cyber attacks