From 95b001091403e962fee2099254484cea7b3c3d57 Mon Sep 17 00:00:00 2001 From: Nicoletta Fornara Date: Thu, 8 Feb 2024 08:01:27 +0100 Subject: [PATCH] Update index.html --- formal-semantics/index.html | 30 ++++++++++++++++++++++++++++-- 1 file changed, 28 insertions(+), 2 deletions(-) diff --git a/formal-semantics/index.html b/formal-semantics/index.html index 40558b0..63fb8a7 100644 --- a/formal-semantics/index.html +++ b/formal-semantics/index.html @@ -274,8 +274,9 @@

Semantics of Duty when it is used as an activation condition of a Permission Example 13
Type of Permission: Permission P1 is constrained by the Constraint C1.
- (The permission allows the target asset to be distributed, and includes a constraint of a dateTime condition - that the permission can only be exercised until 2018-01-01).
+ (The permission allows the target asset to be distributed, and includes a constraint + of a dateTime condition that the permission can only be exercised until 2018-01-01).
+ When the constraint is no longer satisfied and the permission is no longer active.
@@ -298,6 +299,31 @@

Semantics of Duty when it is used as an activation condition of a Permission
+Example 14
+ Type of Permission: Permission P1 permits an action that is refined by Refinement R1.
+ (The permission allows the target asset to be printed, and also include a refinement of less + than or equal to 1200 dpi resolution.).
+ Acces control scenario: If the requested action to print satisfies the Refinement the action is permitted otherwise it is blocked.
+ +

+ + + + + + + + + + + + + + + +
IDP1.C1P1
E13-1not-satisfiedinactive
E13-2satisfiedactive
+ +
Example 22 (Permission)