Login / Signup

Formal Enforcement of Security Policies on Parallel Systems with Risk Integration.

Marwa ZiadiaMohamed 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