Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation

Alfredo Capozucca, Maximiliano Cristiá, Ross Horne +1

This paper revisits the Brewer-Nash security policy model inspired by ethical Chinese Wall policies. We draw attention to the fact that write access can be revoked in the Brewer-Na…