Edelmira Pasarella, Jorge Lobo. Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 232-242, IEEE, 2015. [doi]
@inproceedings{PasarellaL15, title = {Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework}, author = {Edelmira Pasarella and Jorge Lobo}, year = {2015}, doi = {10.1109/CSF.2015.23}, url = {http://dx.doi.org/10.1109/CSF.2015.23}, researchr = {https://researchr.org/publication/PasarellaL15}, cites = {0}, citedby = {0}, pages = {232-242}, booktitle = {IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015}, editor = {Cédric Fournet and Michael W. Hicks and Luca Viganò}, publisher = {IEEE}, isbn = {978-1-4673-7538-2}, }