MOHAWK: Abstraction-refinement and bound-estimation for verifying access control policies

Karthick Jayaraman, Mahesh Tripunitara, Vijay Ganesh, Martin Rinard, Steve Chapin

Research output: Contribution to journalArticle

21 Scopus citations

Fingerprint Dive into the research topics of 'MOHAWK: Abstraction-refinement and bound-estimation for verifying access control policies'. Together they form a unique fingerprint.

Engineering & Materials Science