|
|
Augmented with doAs()
| Thread / Class | Permissions | Effective Thread Permission |
| Class 1 | { P1, P2 } | { P1, P2 } |
| Class 2 | { P1, P3 } | { P1 } |
| doAs(X) | { P1, P4 } | |
| Class 3 | { P2, P1, P4 } | { P1 } |
| Class 4 | { P1, P5, P4 } | { P1 } |
| checkPermission(P1) | | |
| succeeds! | | |
| Pc1 3 Pc2 3 (Pc3 U PX) 3 (Pc4 U PX) = { P1 } | ? | ? |
|
