Game Semantics for Access Control
S. Abramsky and R. Jagadeesan
Details
| ISSN |
1571−0661 |
| Journal |
Electronic Notes in Theoretical Computer Science |
| Pages |
135–156 |
| Publisher |
Elsevier |
| Volume |
249 |
| Year |
2009 |
Links
Related pages
|
People |