Verifiable composition of access control and application features

Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander. Verifiable composition of access control and application features. In Elena Ferrari, Gail-Joon Ahn, editors, SACMAT 2005, 10th ACM Symposium on Access Control Models and Technologies, Stockholm, Sweden, June 1-3, 2005, Proceedings. pages 120-129, ACM, 2005. [doi]

@inproceedings{SongRFRGA05,
  title = {Verifiable composition of access control and application features},
  author = {Eunjee Song and Raghu Reddy and Robert B. France and Indrakshi Ray and Geri Georg and Roger T. Alexander},
  year = {2005},
  doi = {10.1145/1063979.1064001},
  url = {http://doi.acm.org/10.1145/1063979.1064001},
  tags = {composition, access control},
  researchr = {https://researchr.org/publication/SongRFRGA05},
  cites = {0},
  citedby = {0},
  pages = {120-129},
  booktitle = {SACMAT 2005, 10th ACM Symposium on Access Control Models and Technologies, Stockholm, Sweden, June 1-3, 2005, Proceedings},
  editor = {Elena Ferrari and Gail-Joon Ahn},
  publisher = {ACM},
  isbn = {1-59593-045-0},
}