Reduction of access control decisions

Reduction of access control decisions

Outline

Access Decision Sets

Decision Reduction

Safe Reduction

Conclusion

Access Decision Sets

Access Control

AccessControl

Decision Sets

DecisionSets

Combining Operators

CombiningOperators

CombiningOperators2

Exercise

exercisestrongdisjunctions

Decision Reduction

Reducing decision sets

Deal with non-conclusive decisions

Ensure compatibility of operators when language evolves over time

  • e.g. from XACML v2 to XACML v3

Reuse operators over smaller decision sets

Enable interoperability between systems

Decision Reduction

A decision reduction maps a decision set into a smaller decision set by mapping all decisions of a set to decisions of a subset, while leaving the decisions in the subset unchanged

DecisionReduction

Sample Reduction

SampleReduction

Example

ReductionExample

Example 1: XACML v3

1ReductionXAMCL

2ReductionXAMCL

3ReductionXAMCL

4ReductionXAMCL

5ReductionXAMCL

6ReductionXAMCL

7ReductionXAMCL

8ReductionXAMCL

9ReductionXAMCL

10ReductionXAMCL

Example 2: From XACML v3 to XACML v2

ReductionXAMCLv3tov2

2ReductionXAMCLv3tov2

Example 3: From PTaCL to XACML v3

PTaCL

Safe Reduction

How to ensure that a reduction can be performed at any level of policy composition without changing the final decision?

SafeReduction

Safety of Operator Composition

SafetyofOperatorComposition

SafetyofOperatorComposition2

Safety Analysis of XACML v3

SafetyAnalysisofXACMLv3

2SafetyAnalysisofXACMLv3

3SafetyAnalysisofXACMLv3

Redefine operators

Redefineoperator

Example: First applicable

ExampleFirstapplicable

Example: Only one applicable

ExampleOnlyoneapplicable

Safety Analysis of XACML v3 (2,3) SafetyAnalysisofXACMLv3(2,3)

Conclusion

Decision Reduction

  • Deal with non-conclusive decisions
  • Reuse combining algorithms
  • Enable Interoperability

Safe Decision Reduction

  • Ensure that a reduction can be performed at any level of policy composition without changing the final decision

Safety Analysis of XACML v3

  • XACML v3 is NOT safe!!
  • Decision set depends on combining operators