@misc{indiciae0e8f34e53d45,
  title = {Safety Analysis in the NGAC Model},
  author = {Brian Tan and Ewan S. D. Davies and Indrakshi Ray and Mahmoud A. Abdelgawad},
  year = {2025},
  doi = {10.1145/3734436.3734444},
  url = {https://arxiv.org/abs/2505.06406},
  note = {Source identifier: 2505.06406}
}