8 search results - page 2 / 2 » Gran: Model Checking Grsecurity RBAC Policies |
IFIP
2009
Springer
13 years 2 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
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...
SACMAT
2009
ACM
13 years 11 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...