Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu 0001. Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. In Elisa Bertino, Ravi Sandhu, Edgar R. Weippl, editors, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017. pages 167-178, ACM, 2017. [doi]
@inproceedings{JohnsonMHBR017,
title = {Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures},
author = {Claiborne Johnson and Thomas MacGahan and John Heaps and Kevin Baldor and Jeffery von Ronne and Jianwei Niu 0001},
year = {2017},
doi = {10.1145/3078861.3078873},
url = {http://doi.acm.org/10.1145/3078861.3078873},
researchr = {https://researchr.org/publication/JohnsonMHBR017},
cites = {0},
citedby = {0},
pages = {167-178},
booktitle = {Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017},
editor = {Elisa Bertino and Ravi Sandhu and Edgar R. Weippl},
publisher = {ACM},
isbn = {978-1-4503-4702-0},
}