Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "access-control policies"

Now showing items 1-1 of 1

  • Automatic Error Finding in Access-Control Policies 

    Unknown author (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 ...