Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca. A logical framework for reasoning about access control models. In SACMAT. pages 41-52, 2001. [doi]
@inproceedings{BertinoCFP01,
title = {A logical framework for reasoning about access control models},
author = {Elisa Bertino and Barbara Catania and Elena Ferrari and Paolo Perlasca},
year = {2001},
doi = {10.1145/373256.373261},
url = {http://doi.acm.org/10.1145/373256.373261},
tags = {access control},
researchr = {https://researchr.org/publication/BertinoCFP01},
cites = {0},
citedby = {0},
pages = {41-52},
booktitle = {SACMAT},
}