Другой ответ является подробным и в значительной степени правильным, за исключением двух случаев, когда в Цели правила отсутствует атрибут, для которого для MustBePresent установлено значение true.
В этом ответе будут рассмотрены только те случаи.
полис p2 - запрос q3
- rule: deny, если соответствует всем: time [MBP] = night -> Indeterminate {D} из-за пропущенного атрибута time и MustBePresent = true, а эффект правила - Deny
- правило: разрешить, если совпадают все: время [MBP] = день -> не определено {P} по аналогичной причине
- op: denyOverrides -> Indeterminate {DP}
Результат оценки - неопределенный {DP}
policyset p3 - запрос q3:
- политика p1
- правило: разрешить, если совпадают все: group = staff, resource = file1 -> Permit
- op: allowOverrides -> Permit независимо от результата любых других правил
- policy p2 -> Indeterminate {DP}, как объяснено в предыдущем случае
- op: denyOverrides -> Indeterminate {DP}
Результат оценки - неопределенный {DP}
Ссылки
Спецификация XACML 3.0 содержит все детали, необходимые для вашего понимания