Commit dc8c5002 authored by Jonathan Shahen's avatar Jonathan Shahen

Updating the links in the Mohawk+T page

parent f2aa8d68
......@@ -9,12 +9,7 @@
<meta name="keywords" content="" />
<meta name="description" content="" />
<link
rel="stylesheet"
type="text/css"
href="reset-fonts-grids.css"
media="all"
/>
<link rel="stylesheet" type="text/css" href="reset-fonts-grids.css" media="all" />
<link rel="stylesheet" type="text/css" href="resume.css" media="all" />
</head>
......@@ -24,8 +19,7 @@
<div id="hd">
<div class="yui-gc">
<h1 align="center">
Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based
Access Control (ATRBAC) Policies
Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies
</h1>
<h2 align="center">Jonathan Shahen - PhD University of Waterloo</h2>
</div>
......@@ -40,8 +34,8 @@
<div class="yui-u first"><h2>Description</h2></div>
<div class="yui-u">
<p class="enlarge">
This page provides access to the open source code of
Mohawk+T and to the data files used in it's testing.
This page provides access to the open source code of Mohawk+T and to the data files used in it's
testing.
</p>
</div>
</div>
......@@ -51,13 +45,9 @@
<div class="yui-u">
<p class="enlarge">
Please see our companion paper accepted to
<a href="http://www.sacmat.org/2015/index.php"
>SACMAT 2015</a
>
<a href="http://www.sacmat.org/2015/index.php">SACMAT 2015</a>
here:
<a href="http://dx.doi.org/10.1145/2752952.2752966"
>http://dx.doi.org/10.1145/2752952.2752966</a
>
<a href="http://dx.doi.org/10.1145/2752952.2752966">http://dx.doi.org/10.1145/2752952.2752966</a>
</p>
</div>
</div>
......@@ -71,15 +61,13 @@
<h2>Mohawk 2.0</h2>
<h3>
Repository link:
<a
href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-2.0"
>https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-2.0</a
<a href="https://git.uwaterloo.ca/jmshahen/mohawk-2.0"
>https://git.uwaterloo.ca/jmshahen/mohawk-2.0</a
>
</h3>
<p>
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.
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.
</p>
</div>
......@@ -87,8 +75,7 @@
<h2>Mohawk+T Globals</h2>
<h3>
Repository link:
<a
href="#https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-globals"
<a href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-globals"
>https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-globals</a
>
</h3>
......@@ -99,14 +86,13 @@
<h2>Mohawk+T Conversion Tool</h2>
<h3>
Repository link:
<a
href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-conversion-tool"
>https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-conversion-tool</a
<a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-conversion-tool"
>https://git.uwaterloo.ca/jmshahen/mohawk-t-conversion-tool</a
>
</h3>
<p>
Tool used to convert Mohawk+T spec files into Mohawk,
ASASPTime SA/NSA, and TRedRole/TRedRule spec files.
Tool used to convert Mohawk+T spec files into Mohawk, ASASPTime SA/NSA, and TRedRole/TRedRule spec
files.
</p>
</div>
......@@ -114,14 +100,12 @@
<h2>Mohawk+T Reverse Converter</h2>
<h3>
Repository link:
<a
href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-reverse-converter"
>https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-reverse-converter</a
<a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-reverse-converter"
>https://git.uwaterloo.ca/jmshahen/mohawk-t-reverse-converter</a
>
</h3>
<p>
Converts ASASPTime SA/NSA and Mohawk spec files to
Mohawk+T spec files.
Converts ASASPTime SA/NSA and Mohawk spec files to Mohawk+T spec files.
</p>
</div>
......@@ -129,14 +113,12 @@
<h2>Mohawk+T Testcase Generator</h2>
<h3>
Repository link:
<a
href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-testcase-generator"
>https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-testcase-generator</a
<a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-testcase-generator"
>https://git.uwaterloo.ca/jmshahen/mohawk-t-testcase-generator</a
>
</h3>
<p>
Generates random testcases acording to size and algorithm
constraints.
Generates random testcases acording to size and algorithm constraints.
</p>
</div>
......@@ -144,14 +126,12 @@
<h2>Mohawk+T Testing Tool</h2>
<h3>
Repository link:
<a
href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-testing-tool"
>https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-testing-tool</a
<a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-testing-tool"
>https://git.uwaterloo.ca/jmshahen/mohawk-t-testing-tool</a
>
</h3>
<p>
Testing tool to measure the timing of each software
against their version of the spec file.
Testing tool to measure the timing of each software against their version of the spec file.
</p>
</div>
</div>
......@@ -194,9 +174,7 @@
Jonathan Shahen &mdash;
<a href="mailto:jmshahen@uwaterloo.ca">jmshahen@uwaterloo.ca</a>
&mdash;
<a
href="http://ca.linkedin.com/pub/jonathan-shahen/3a/b30/b66"
style="text-decoration:none;"
<a href="http://ca.linkedin.com/pub/jonathan-shahen/3a/b30/b66" style="text-decoration:none;"
><span style="font: 80% Arial,sans-serif; color:#0783B6;"
><img
src="https://static.licdn.com/scds/common/u/img/webpromo/btn_in_20x15.png"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment