Automatic Error Finding in Access-Control Policies
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 intended security goals. To address this important problem, researchers have pro...
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/54730 |