Efficient trust management policy analysis from rules

Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu. Efficient trust management policy analysis from rules. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 211-220, ACM, 2007. [doi]

@inproceedings{HristovaTL07,
  title = {Efficient trust management policy analysis from rules},
  author = {Katia Hristova and K. Tuncay Tekle and Yanhong A. Liu},
  year = {2007},
  doi = {10.1145/1273920.1273950},
  url = {http://doi.acm.org/10.1145/1273920.1273950},
  tags = {rule-based, analysis, rules},
  researchr = {https://researchr.org/publication/HristovaTL07},
  cites = {0},
  citedby = {0},
  pages = {211-220},
  booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland},
  editor = {Michael Leuschel and Andreas Podelski},
  publisher = {ACM},
  isbn = {978-1-59593-769-8},
}