@misc{indiciaefb2851d0edac,
  title = {Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation},
  author = {Alfredo Capozucca and Maximiliano Cristiá and Ross Horne and Ricardo Katz},
  year = {2024},
  url = {https://arxiv.org/abs/2405.12187},
  note = {Source identifier: 2405.12187}
}