Bing-Rong Lin, Daniel Kifer. Reasoning about privacy using axioms. In Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012. pages 975-979, IEEE, 2012. [doi]
@inproceedings{LinK12-14, title = {Reasoning about privacy using axioms}, author = {Bing-Rong Lin and Daniel Kifer}, year = {2012}, doi = {10.1109/ACSSC.2012.6489162}, url = {http://dx.doi.org/10.1109/ACSSC.2012.6489162}, researchr = {https://researchr.org/publication/LinK12-14}, cites = {0}, citedby = {0}, pages = {975-979}, booktitle = {Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012}, publisher = {IEEE}, isbn = {978-1-4673-5050-1}, }