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

Jonathan Shahen - MASc University of Waterloo

Description

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: http://dx.doi.org/10.1145/2752952.2752966

Source

Mohawk 2.0

Repository link: https://bitbucket.org/jshahen/mohawk-2.0

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: https://bitbucket.org/jshahen/mohawk-t-globals

Global Repository that is shared between all repos.

Mohawk+T Conversion Tool

Repository link: https://bitbucket.org/jshahen/mohawk-t-conversion-tool

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

Mohawk+T Reverse Converter

Repository link: https://bitbucket.org/jshahen/mohawk-t-reverse-converter

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

Mohawk+T Testcase Generator

Repository link: https://bitbucket.org/jshahen/mohawk-t-testcase-generator

Generates random testcases acording to size and algorithm constraints.

Mohawk+T Testing Tool

Repository link: https://bitbucket.org/jshahen/mohawk-t-testing-tool

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

Dependancies

  • 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: August 20th, 2015