Update index.html

w3c · Oct 22, 2024 · 1f2b9fb · 1f2b9fb
1 parent 215c061
commit 1f2b9fb
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/formal-semantics/index.html b/formal-semantics/index.html
@@ -627,6 +627,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>access control</kbd><br>activation <br><code>permission</code></th>
+		<th style="color:darkred"><kbd>access control</kbd><br/>permitted/not permitted</code></th>   
             </tr>
             <tr>
                 <td>E22-1</td>
@@ -638,6 +639,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>    
             </tr>
         <tr>
                 <td>E22-2</td>
@@ -649,6 +651,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>    
         </tr>
        </table>    
        <p><i>Monitoring scenario:</i></p>
@@ -663,6 +666,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>   
             </tr>
             <tr>
                 <td>E22-3</td>
@@ -674,6 +678,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>    
             </tr>
             <tr>
                 <td>E22-4</td>
@@ -685,6 +690,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>    
             </tr>
         </table>    
 
@@ -875,7 +881,7 @@ <h4>Evaluation of a prohibition with constraints</h4>
 		by <code>assignee:55</code> is performed</td>                 
                 <td>satisfied</td>
                 <td>active</td>
-                <td>violated by the performed action/td>
+                <td>violated by the performed action</td>
             </tr>
             <tr>
                 <td>E55-2</td>