Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
fornaran authored Oct 22, 2024
1 parent 533faaf commit 2b2c564
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions formal-semantics/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -352,7 +352,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</td>
<td>the attempted action is permitted by policy:13</td>
</tr>
<tr>
<td>E13-2</td>
Expand All @@ -362,7 +362,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</td>
<td>the attempted action is not permitted by policy:13</td>
</tr>
</table>

Expand All @@ -389,7 +389,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</td>
<td>the attempted action is permitted by policy:13</td>
</tr>
<tr>
<td>E13-4</td>
Expand All @@ -398,7 +398,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</td>
<td>the attempted action is not permitted by policy:13</td>
</tr>
</table>
<hr/>
Expand Down Expand Up @@ -468,15 +468,15 @@ <h4>Example of a permission whose permitted action is refined</h4>
<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</td>
<td>the attempted action is permitted by policy:14</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</td>
<td>the attempted action is not permitted by policy:14</td>
</tr>
</table>

Expand Down Expand Up @@ -509,7 +509,7 @@ <h4>Example of a permission whose permitted action is refined</h4>
<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</td>
<td>the performed action is permitted by policy:14</td>
</tr>
<tr>
<td>E14-4</td>
Expand Down

0 comments on commit 2b2c564

Please sign in to comment.