Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies

Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin. Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur., 15(4):18, 2013. [doi]

Authors

Karthick Jayaraman

This author has not been identified. Look up 'Karthick Jayaraman' in Google

Mahesh V. Tripunitara

This author has not been identified. It may be one of the following persons: Look up 'Mahesh V. Tripunitara' in Google

Vijay Ganesh

This author has not been identified. Look up 'Vijay Ganesh' in Google

Martin C. Rinard

This author has not been identified. Look up 'Martin C. Rinard' in Google

Steve J. Chapin

This author has not been identified. Look up 'Steve J. Chapin' in Google