Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo. A Logical Framework for Reasoning on Data Access Control Policies. In CSFW. pages 175-189, 1999. [doi]
@inproceedings{BertinoFBR99,
title = {A Logical Framework for Reasoning on Data Access Control Policies},
author = {Elisa Bertino and Elena Ferrari and Francesco Buccafurri and Pasquale Rullo},
year = {1999},
url = {http://www.computer.org/proceedings/csfw/0201/02010175abs.htm},
tags = {data-flow, access control policies, access control},
researchr = {https://researchr.org/publication/BertinoFBR99},
cites = {0},
citedby = {0},
pages = {175-189},
booktitle = {CSFW},
}