README.md 749 Bytes
Newer Older
1
2
3
4

/********************************************************************
 * PROGRAM NAME: Mohawk - A Model Checker for ARBAC Policies	
 *		
5
 * AUTHORS: Karthick Jayaraman, Jonathan Shahen
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 *	
 * BEGIN DATE: October, 2009
 *
 * LICENSE: Please view LICENSE file in the home dir of this Programtt
 ********************************************************************/


INSTALL
-------
See INSTALL file in the home dir of this program

LICENSE
-------
See LICENSE file in the home dir of this program

WEBSITE
-------
http://code.google.com/p/mohawk/

Google Code REPOSITORY
----------------------
svn checkout http://mohawk.googlecode.com/svn/trunk/ mohawk-read-only

DOCUMENTATION
-------------
Not published yet

PAPERS
------
check paper directory