Relaxed Conditions for Secrecy in a Role-Based Specification.

Jaouhar Fattahi Mohamed Mejri Hanane Houmani

Published in: CoRR (2018)

Keyphrases

access control
specification language
databases
case study
database systems
multiscale
objective function
sufficient conditions
formal specification
security analysis
spread spectrum
role assignment