Our intent here is to validate the thesis that we can wrap Mohawk in a manner that we preserve its scalability for ATRBAC policies.
mohawk+T would scale signifi­cantly better than what has been shown for existing tools for ATRBAC-safety [6, 12].