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

Alfredo Capozucca Maximiliano Cristiá Ross Horne Ricardo Katz

Published in: CoRR (2024)

Keyphrases

optimal policy
utility function
game theory
access control
nash equilibrium
revenue management
data sets
cooperative
public key
markov decision process
consistency checking
key distribution