Fingerprint
Dive into the research topics of 'MOHAWK: Abstraction-refinement and bound-estimation for verifying access control policies'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 journal › Article › peer-review
25
Scopus
citations