31 search results - page 7 / 7 » A state-space approach to SLA based management |
CCS
2011
ACM
12 years 4 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...