index.html 7.49 KB
Newer Older
Jonathan Shahen's avatar
Jonathan Shahen committed
1 2 3 4
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
  <head>
    <title>
Jonathan Shahen's avatar
Jonathan Shahen committed
5
      Jonathan Shahen | PhD University of Waterloo | jmshahen@uwaterloo.ca
Jonathan Shahen's avatar
Jonathan Shahen committed
6 7 8 9 10 11
    </title>
    <meta http-equiv="content-type" content="text/html; charset=utf-8" />

    <meta name="keywords" content="" />
    <meta name="description" content="" />

12
    <link rel="stylesheet" type="text/css" href="reset-fonts-grids.css" media="all" />
Jonathan Shahen's avatar
Jonathan Shahen committed
13
    <link rel="stylesheet" type="text/css" href="resume.css" media="all" />
Jonathan Shahen's avatar
Jonathan Shahen committed
14 15 16 17 18 19 20 21
  </head>

  <body>
    <div id="doc2" class="yui-t7">
      <div id="inner">
        <div id="hd">
          <div class="yui-gc">
            <h1 align="center">
22
              Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies
Jonathan Shahen's avatar
Jonathan Shahen committed
23
            </h1>
Jonathan Shahen's avatar
Jonathan Shahen committed
24
            <h2 align="center">Jonathan Shahen - PhD University of Waterloo</h2>
Jonathan Shahen's avatar
Jonathan Shahen committed
25 26 27 28 29 30 31 32 33 34 35 36
          </div>
          <!--// .yui-gc -->
        </div>
        <!--// hd -->

        <div id="bd">
          <div id="yui-main">
            <div class="yui-b">
              <div class="yui-gf">
                <div class="yui-u first"><h2>Description</h2></div>
                <div class="yui-u">
                  <p class="enlarge">
37 38
                    This page provides access to the open source code of Mohawk+T and to the data files used in it's
                    testing.
Jonathan Shahen's avatar
Jonathan Shahen committed
39 40 41 42 43 44 45 46 47
                  </p>
                </div>
              </div>

              <div class="yui-gf">
                <div class="yui-u first"><h2>Companion Paper</h2></div>
                <div class="yui-u">
                  <p class="enlarge">
                    Please see our companion paper accepted to
48
                    <a href="http://www.sacmat.org/2015/index.php">SACMAT 2015</a>
Jonathan Shahen's avatar
Jonathan Shahen committed
49
                    here:
50
                    <a href="http://dx.doi.org/10.1145/2752952.2752966">http://dx.doi.org/10.1145/2752952.2752966</a>
Jonathan Shahen's avatar
Jonathan Shahen committed
51 52 53 54 55 56 57 58 59 60 61 62 63
                  </p>
                </div>
              </div>

              <div class="yui-gf">
                <div class="yui-u first"><h2>Source</h2></div>
                <!--// .yui-u -->

                <div class="yui-u">
                  <div class="job">
                    <h2>Mohawk 2.0</h2>
                    <h3>
                      Repository link:
64 65
                      <a href="https://git.uwaterloo.ca/jmshahen/mohawk-2.0"
                        >https://git.uwaterloo.ca/jmshahen/mohawk-2.0</a
Jonathan Shahen's avatar
Jonathan Shahen committed
66 67 68
                      >
                    </h3>
                    <p>
69 70
                      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.
Jonathan Shahen's avatar
Jonathan Shahen committed
71 72 73 74 75 76 77
                    </p>
                  </div>

                  <div class="job">
                    <h2>Mohawk+T Globals</h2>
                    <h3>
                      Repository link:
78
                      <a href="https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-globals"
Jonathan Shahen's avatar
Jonathan Shahen committed
79 80 81 82 83 84 85 86 87 88
                        >https://git.uwaterloo.ca/atrbac-safety-mohawk-t-cree/mohawk-t-globals</a
                      >
                    </h3>
                    <p>Global Repository that is shared between all repos.</p>
                  </div>

                  <div class="job">
                    <h2>Mohawk+T Conversion Tool</h2>
                    <h3>
                      Repository link:
89 90
                      <a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-conversion-tool"
                        >https://git.uwaterloo.ca/jmshahen/mohawk-t-conversion-tool</a
Jonathan Shahen's avatar
Jonathan Shahen committed
91 92 93
                      >
                    </h3>
                    <p>
94 95
                      Tool used to convert Mohawk+T spec files into Mohawk, ASASPTime SA/NSA, and TRedRole/TRedRule spec
                      files.
Jonathan Shahen's avatar
Jonathan Shahen committed
96 97 98 99 100 101 102
                    </p>
                  </div>

                  <div class="job">
                    <h2>Mohawk+T Reverse Converter</h2>
                    <h3>
                      Repository link:
103 104
                      <a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-reverse-converter"
                        >https://git.uwaterloo.ca/jmshahen/mohawk-t-reverse-converter</a
Jonathan Shahen's avatar
Jonathan Shahen committed
105 106 107
                      >
                    </h3>
                    <p>
108
                      Converts ASASPTime SA/NSA and Mohawk spec files to Mohawk+T spec files.
Jonathan Shahen's avatar
Jonathan Shahen committed
109 110 111 112 113 114 115
                    </p>
                  </div>

                  <div class="job">
                    <h2>Mohawk+T Testcase Generator</h2>
                    <h3>
                      Repository link:
116 117
                      <a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-testcase-generator"
                        >https://git.uwaterloo.ca/jmshahen/mohawk-t-testcase-generator</a
Jonathan Shahen's avatar
Jonathan Shahen committed
118 119 120
                      >
                    </h3>
                    <p>
121
                      Generates random testcases acording to size and algorithm constraints.
Jonathan Shahen's avatar
Jonathan Shahen committed
122 123 124 125 126 127 128
                    </p>
                  </div>

                  <div class="job last">
                    <h2>Mohawk+T Testing Tool</h2>
                    <h3>
                      Repository link:
129 130
                      <a href="https://git.uwaterloo.ca/jmshahen/mohawk-t-testing-tool"
                        >https://git.uwaterloo.ca/jmshahen/mohawk-t-testing-tool</a
Jonathan Shahen's avatar
Jonathan Shahen committed
131 132 133
                      >
                    </h3>
                    <p>
134
                      Testing tool to measure the timing of each software against their version of the spec file.
Jonathan Shahen's avatar
Jonathan Shahen committed
135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176
                    </p>
                  </div>
                </div>
                <!--// .yui-u -->
              </div>
              <!--// .yui-gf -->

              <div class="yui-gf last">
                <div class="yui-u first"><h2>Dependancies</h2></div>
                <div class="yui-u">
                  <ul class="talent">
                    <li>Java</li>
                    <li>Ranise's Source Code</li>
                    <li class="last">Uzun's Source Code</li>
                  </ul>

                  <ul class="talent">
                    <li>Ant</li>
                    <li>[<i>Uzun</i>] GCC</li>
                    <li class="last">[<i>Mohawk</i>] NuSMV 2.5.4</li>
                  </ul>

                  <ul class="talent">
                    <li>[<i>Ranise</i>] Yics 1.0.xx</li>
                    <li>[<i>Ranise</i>] Python 2.7</li>
                    <li class="last">[<i>Ranise</i>] MCMT 1.1</li>
                  </ul>
                </div>
              </div>
              <!--// .yui-gf-->
            </div>
            <!--// .yui-b -->
          </div>
          <!--// yui-main -->
        </div>
        <!--// bd -->

        <div id="ft">
          <p>
            Jonathan Shahen &mdash;
            <a href="mailto:jmshahen@uwaterloo.ca">jmshahen@uwaterloo.ca</a>
            &mdash;
177
            <a href="http://ca.linkedin.com/pub/jonathan-shahen/3a/b30/b66" style="text-decoration:none;"
Jonathan Shahen's avatar
Jonathan Shahen committed
178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198
              ><span style="font: 80% Arial,sans-serif; color:#0783B6;"
                ><img
                  src="https://static.licdn.com/scds/common/u/img/webpromo/btn_in_20x15.png"
                  width="20"
                  height="15"
                  alt="View Jonathan Shahen's LinkedIn profile"
                  style="vertical-align:middle;"
                  border="0"
                />&nbsp;View my profile</span
              ></a
            >
          </p>
          <p><b>Last Updated:</b> June 18th, 2015</p>
        </div>
        <!--// footer -->
      </div>
      <!-- // inner -->
    </div>
    <!--// doc -->
  </body>
</html>