| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-12-21 | Check-in remaining files | Jakob L. Kreuze | |
| 2023-12-19 | Fix match evaluation | Jakob L. Kreuze | |
| 2023-12-19 | Initial check-in of XACML implementation in Rego | Jakob L. Kreuze | |
| 2023-11-15 | Have evaluate_policy* take the results of its children as a parameter | Jakob L. Kreuze | |
| 2023-11-15 | Add semantics for obligation/advice expressions | Jakob L. Kreuze | |
| 2023-11-15 | Clearer translation of XACML to Rego values | Jakob L. Kreuze | |
| 2023-11-15 | Initial encoding of XACML semantics in Rego | Jakob L. Kreuze | |
 |
index : rego-proofs.git | |
| Lean proofs for my Master's thesis | Jakob L. Kreuze |
| aboutsummaryrefslogtreecommitdiff |
path: root/xacml-translation
© 2015 - 2026 Jakob L. Kreuze