Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies

Jonathan Shahen - PhD University of Waterloo


This page provides access to the open source code of Mohawk+T and to the data files used in it's testing.

Companion Paper

Please see our companion paper accepted to SACMAT 2015 here:


Mohawk 2.0

Repository link:

ARBAC Solver. Based on the original Mohawk by Karthick Jayaraman, but has been improved for better logging, timing, and upgraded to a newer version of NuSMV.

Mohawk+T Globals

Repository link:

Global Repository that is shared between all repos.

Mohawk+T Conversion Tool

Repository link:

Tool used to convert Mohawk+T spec files into Mohawk, ASASPTime SA/NSA, and TRedRole/TRedRule spec files.

Mohawk+T Reverse Converter

Repository link:

Converts ASASPTime SA/NSA and Mohawk spec files to Mohawk+T spec files.

Mohawk+T Testcase Generator

Repository link:

Generates random testcases acording to size and algorithm constraints.

Mohawk+T Testing Tool

Repository link:

Testing tool to measure the timing of each software against their version of the spec file.


  • Java
  • Ranise's Source Code
  • Uzun's Source Code
  • Ant
  • [Uzun] GCC
  • [Mohawk] NuSMV 2.5.4
  • [Ranise] Yics 1.0.xx
  • [Ranise] Python 2.7
  • [Ranise] MCMT 1.1

Jonathan Shahen — jmshahen@uwaterloo.caView Jonathan Shahen's LinkedIn profile View my profile

Last Updated: June 18th, 2015