Brewer-Nash scrutinised: mechanised checking of policies featuring write revocation

Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz

Research output: Working paper › Working Paper/Preprint

1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Brewer-Nash scrutinised: mechanised checking of policies featuring write revocation'. Together they form a unique fingerprint.

Computer Science

Economics, Econometrics and Finance