Automatic Enforcement of Security Properties.

José Miguel Horcas Mónica Pinto Lidia Fuentes

Published in: TrustBus (2016)

Keyphrases

security properties
formal model
security requirements
access control
security protocols
security analysis
fine grained
formal methods
security vulnerabilities