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