| Input: () two rules and |
| () policy/rule combination algorithm CA |
| Output: () if between rules and exists the redundancy related to combining algorithms, output rules and where the |
| redundancy related to combining algorithms has been eliminated |
| () if between rules and exists the redundancy related to combining algorithms, output SCEL |
| (1) if = & = & |
| (2) & () then |
| (3) /detection and elimination of the redundancy related to the “Deny-Overrides” combining algorithm / |
| (4) if CA = Deny_Overrides then |
| (5) if = then |
| (6) if = Deny then |
| (7) EliminateRedundancy(, ) |
| (8) else if = Deny then |
| (9) EliminateRedundancy(, ) |
| (10) else if then |
| (11) if = Deny then |
| (12) EliminateRedundancy(, ) |
| (13) /detection and elimination of the redundancy related to the “Permit-Overrides” combining algorithm / |
| (14) if CA = Permit_Overrides & !() then |
| (15) if = Permit then |
| (16) EliminateRedundancy(, ) |
| (17) else if = Permit then |
| (18) EliminateRedundancy(, ) |
| (19) /detection and elimination of the redundancy related to the “First-Applicable” combining algorithm / |
| (20) if CA = First_Overrides & !() then |
| (21) if then |
| (22) EliminateRedundancy(, ) |
| (23) else if then |
| (24) EliminateRedundancy(, ) |
