Browsing CSAIL Technical Reports (July 1, 2003 - present) 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 ...