Browsing Stony Brook Theses & Dissertations [SBU] by Subject "access control, policy administration, security policy, verification"
Now showing items 1-1 of 1
-
Verification of Security Policy Administration and Enforcement in Enterprise Systems
(The Graduate School, Stony Brook University: Stony Brook, NY., 1-Dec-11)The scale and complexity of security policies in enterprise systems makes it difficult to ensure that they achieve higher-level security goals. This dissertation explores two important ways in which policy analysis can ...