Modality Conflicts
Potential conflict from overlap of subjects, targets and actions
3 types: O+/O-, A+/A-, O+/A-
Detected by syntactic analysis
Notes:
Do not need to understand policies to detect potential conflict - just detect overlap of subject, target and actions.
O- / A+ is not a conflict