A Formal Model of Policy Reconciliation

Cataldo Basile, Antonio Lioy, Christian Pitscheider, Shilong Zhao. A Formal Model of Policy Reconciliation. In Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson, editors, 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015. pages 587-594, IEEE, 2015. [doi]

@inproceedings{BasileLPZ15,
  title = {A Formal Model of Policy Reconciliation},
  author = {Cataldo Basile and Antonio Lioy and Christian Pitscheider and Shilong Zhao},
  year = {2015},
  doi = {10.1109/PDP.2015.42},
  url = {http://dx.doi.org/10.1109/PDP.2015.42},
  researchr = {https://researchr.org/publication/BasileLPZ15},
  cites = {0},
  citedby = {0},
  pages = {587-594},
  booktitle = {23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015},
  editor = {Masoud Daneshtalab and Marco Aldinucci and Ville Leppänen and Johan Lilius and Mats Brorsson},
  publisher = {IEEE},
  isbn = {978-1-4799-8491-6},
}