Automatic error finding in access-control policies.

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin

Browse the full CCS paper archive.