Browsing CSAIL Digital Archive by Subject "abstraction refinement"

Now showing items 1-1 of 1

    • Automatic Error Finding in Access-Control Policies 

      Jayaraman, Karthick; Rinard, Martin C.; Tripunitara, Mahesh; Ganesh, Vijay; Chapin, Steve (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 ...