A logical framework for reasoning about access control models

Academic Article
Publication Date:
2003
Iris type:
Articolo su Rivista
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/1487635
Published in:
ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY
Journal