Skip to main content

Game Semantics for Access Control

S. Abramsky and R. Jagadeesan

ISSN
1571−0661
Journal
Electronic Notes in Theoretical Computer Science
Pages
135–156
Publisher
Elsevier
Volume
249
Year
2009