Search
Now showing items 1-1 of 1
Automatic Error Finding in Access-Control Policies
(2010-05-05)
Access-control policies are a key infrastructural technology for computer security. However, a significant problem is that system administrators need to be able to automatically verify whether their policies capture the ...