Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
@fornaran
fornaran authored Oct 25, 2024
1 parent 2859425 commit de0bbae
Showing 1 changed file with 35 additions and 28 deletions.
63 changes: 35 additions & 28 deletions formal-semantics/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -174,8 +174,8 @@ <h2>Semantics of Permissions, Prohibitions, and Obligations</h2>
to register the action that brings to the violation. <br>
</li>

<li>Permission has a property called <b>control state</b>, which can take the values of <b>permitted</b> or
<b>not-permitted</b> for a specific attempted or executed action.</li>
<li>Permission has a property called <b>control state</b>, which can take the values of <b>permit</b> or
<b>deny</b> of a specific attempted or executed action.</li>

<li>Constraint (connected to the Rule using the odrl:constraint property) has a property called
<b>satisfaction state</b> which can take the values of <b>satisfied</b> or <b>not-satisfied</b>.
Expand Down Expand Up @@ -348,9 +348,9 @@ <h4>Example of a constrained permission</h4>
<th style="color:darkblue">Policy</th>
<th style="color:darkblue">World</th>
<th style="color:darkblue">Attempted Action</th>
<th style="color:darkred">satisfaction of <br><code>constraint:1</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>activation of <br><code>permission</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>permitted/not permitted</code></th>
<th style="color:darkred">satisfaction state of <br><code>constraint:1</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>activation state of <br><code>permission</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>control state</code></th>
</tr>
<tr>
<td>E13-1</td>
Expand All @@ -360,7 +360,7 @@ <h4>Example of a constrained permission</h4>
<code>document:1234</code></td>
<td>satisfied</td>
<td>active</td>
<td>the attempted action is permitted by policy:13</td>
<td>permit the attempted action</td>
</tr>
<tr>
<td>E13-2</td>
Expand All @@ -370,7 +370,7 @@ <h4>Example of a constrained permission</h4>
<code>document:1234</code></td>
<td>not-satisfied</td>
<td>inactive</td>
<td>the attempted action is not permitted by policy:13</td>
<td>deny the attempted action</td>
</tr>
</table>

Expand All @@ -386,9 +386,9 @@ <h4>Example of a constrained permission</h4>
<th>Example</th>
<th style="color:darkblue">Policy</th>
<th style="color:darkblue">World</th>
<th style="color:darkred">satisfaction of <br><code>constraint:1</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>activation of <br><code>permission</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>permitted/not permitted</code></th>
<th style="color:darkred">satisfaction state of <br><code>constraint:1</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>activation state of <br><code>permission</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>control state</code></th>
</tr>
<tr>
<td>E13-3</td>
Expand All @@ -397,7 +397,7 @@ <h4>Example of a constrained permission</h4>
the action <code>distribute</code> of <code>document:1234</code> was perfomed</td>
<td>satisfied</td>
<td>active</td>
<td>the attempted action is permitted by policy:13</td>
<td>permit the attempted action</td>
</tr>
<tr>
<td>E13-4</td>
Expand All @@ -406,7 +406,7 @@ <h4>Example of a constrained permission</h4>
the action <code>distribute</code> of <code>document:1234</code> was perfomed</td>
<td>not-satisfied</td>
<td>inactive</td>
<td>the attempted action is not permitted by policy:13</td>
<td>deny the attempted action</td>
</tr>
</table>
<hr/>
Expand Down Expand Up @@ -468,23 +468,23 @@ <h4>Example of a permission whose permitted action is refined</h4>
<th style="color:darkblue">Attempted Action</th>
<th style="color:darkred">satisfaction of <br><code>refinement:14</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>activation of <br><code>permission</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>permitted/not permitted</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>control state</code></th>
</tr>
<tr>
<td>E14-1</td>
<td>policy:14</td>
<td><code>print</code> of <code>document:1234</code> with <code>resolution</code> less than 1200 dpi</td>
<td>satisfied</td>
<td>active </td>
<td>the attempted action is permitted by policy:14</td>
<td>permit the attempted action</td>
</tr>
<tr>
<td>E14-1</td>
<td>policy:14</td>
<td><code>print</code> of <code>document:1234</code> with <code>resolution</code> more than 1200 dpi</td>
<td>not-satisfied</td>
<td>inactive </td>
<td>the attempted action is not permitted by policy:14</td>
<td>deny the attempted action</td>
</tr>
</table>

Expand All @@ -509,23 +509,23 @@ <h4>Example of a permission whose permitted action is refined</h4>
<th style="color:darkblue">World</th>
<th style="color:darkred">satisfaction of <br><code>refinement:14</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>activation of <br><code>permission</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>permitted/not permitted</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>control state</code></th>
</tr>
<tr>
<td>E14-3</td>
<td>policy:14</td>
<td><code>print</code> of <code>document:1234</code> with <code>resolution</code> less than 1200 dpi was performed</td>
<td>satisfied</td>
<td>active </td>
<td>the performed action is permitted by policy:14</td>
<td>permit the performed action</td>
</tr>
<tr>
<td>E14-4</td>
<td>policy:14</td>
<td><code>print</code> of <code>document:1234</code> with <code>resolution</code> more than 1200 dpi was performed</td>
<td>not-satisfied</td>
<td>active </td>
<td>the performed action is not permitted by policy:14</td>
<td>deny the performed action</td>
</tr>
</table>

Expand Down Expand Up @@ -632,10 +632,10 @@ <h4>Example of a conditioned permission</h4>
<th style="color:darkblue">Policy</th>
<th style="color:darkblue">World</th>
<th style="color:darkblue"> Attempted Action </th>
<th style="color:darkred">activation of <br><code>condition:1</code></th>
<th style="color:darkred">activation state of <br><code>condition:1</code></th>
<th style="color:darkred">deontic state of <br><code>condition:1</code></th>
<th style="color:darkred"><kbd>access control</kbd><br>activation <br><code>permission</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>permitted/not permitted</code></th>
<th style="color:darkred"><kbd>access control</kbd><br>activation state <br><code> of permission</code></th>
<th style="color:darkred"><kbd>access control</kbd><br/>control state</code></th>
</tr>
<tr>
<td>E22-1</td>
Expand All @@ -647,7 +647,7 @@ <h4>Example of a conditioned permission</h4>
<td>active</td>
<td>not set</td>
<td>inactive</td>
<td>the attempted action is not permitted by policy:22</td>
<td>deny the attempted action</td>
</tr>
<tr>
<td>E22-2</td>
Expand All @@ -659,7 +659,7 @@ <h4>Example of a conditioned permission</h4>
<td>active</td>
<td>fulfilled</td>
<td>active</td>
<td>the attempted action is permitted by policy:22</td>
<td>permit the attempted action</td>
</tr>
</table>
<p><i>Monitoring scenario:</i></p>
Expand All @@ -674,7 +674,7 @@ <h4>Example of a conditioned permission</h4>
<th style="color:darkred">activation of <br><code>condition:1</code></th>
<th style="color:darkred">deontic state of <br><code>condition:1</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br>activation <br><code>permission</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>permitted/not permitted</code></th>
<th style="color:darkred"><kbd>monitoring</kbd><br/>control state</code></th>
</tr>
<tr>
<td>E22-3</td>
Expand All @@ -686,7 +686,7 @@ <h4>Example of a conditioned permission</h4>
<td>active</td>
<td>not set</td>
<td>inactive</td>
<td>the attempted action is not permitted by policy:22</td>
<td>deny the attempted action</td>
</tr>
<tr>
<td>E22-4</td>
Expand All @@ -698,7 +698,7 @@ <h4>Example of a conditioned permission</h4>
<td>active</td>
<td>fulfilled</td>
<td>active</td>
<td>the attempted action is permitted by policy:22</td>
<td>permit the attempted action</td>
</tr>
</table>

Expand Down Expand Up @@ -760,9 +760,12 @@ <h4>Example of a permission whose condition has constraints</h4>
If the Condition is active but it is not fullfilled, the Permission is inactive. <br>
If the Condition is fulfilled the Permission is active.
</p>
<p><i>Access control scenario:</i></p>
<p><i>Access control and monitoring scenario:</i></p>
<p>The monitoring scenario and the access control scenario have the same evaluation when there is no refinement
of the permitted action.</p>
to be evaluated on the attempted or executed action that belongs to the class of actionss regulated by this Permission
(its type is equal to <code>play</code>, its object is equal to the <code>target</code> of the permission,
i.e. <code>music:1999.mp3</code>,and its <code>performer</code> is equal to the assignee of the permission,
i.e. <code>party:billie</code>).</p>

<table border="1" style="font-size:small;">
<tr>
Expand All @@ -774,6 +777,7 @@ <h4>Example of a permission whose condition has constraints</h4>
<th style="color:darkred">activation of <br><code>condition:1</code></th>
<th style="color:darkred">deontic state of <br><code>condition:1</code></th>
<th style="color:darkred"><br>activation of <br><code>permission</code></th>
<th style="color:darkred"><br>control state</th>
</tr>
<tr>
<td>E88-1</td>
Expand All @@ -784,6 +788,7 @@ <h4>Example of a permission whose condition has constraints</h4>
<td>inactive</td>
<td>not set</td>
<td>active</td>
<td>permit the action</td>
</tr>
<tr>
<td>E88-2</td>
Expand All @@ -797,6 +802,7 @@ <h4>Example of a permission whose condition has constraints</h4>
<td>active</td>
<td>not set</td>
<td>inactive</td>
<td>deny the action</td>
</tr>
<tr>
<td>E88-3</td>
Expand All @@ -810,6 +816,7 @@ <h4>Example of a permission whose condition has constraints</h4>
<td>active</td>
<td>fulfilled</td>
<td>active</td>
<td>permit the action</td>
</tr>
</table>
</section>
Expand Down

0 comments on commit de0bbae

Please sign in to comment.