TY  - RPRT
TI  - Safety Analysis in the NGAC Model
AU  - Brian Tan
AU  - Ewan S. D. Davies
AU  - Indrakshi Ray
AU  - Mahmoud A. Abdelgawad
PY  - 2025
DO  - 10.1145/3734436.3734444
UR  - https://arxiv.org/abs/2505.06406
ID  - 2505.06406
ER  -