A Framework for Formal Reasoning about Privacy Properties Based on Trust Relationships in Complex Electronic Services

Koen Decroix, Jorn Lapon, Bart De Decker, Vincent Naessens. A Framework for Formal Reasoning about Privacy Properties Based on Trust Relationships in Complex Electronic Services. In Aditya Bagchi, Indrakshi Ray, editors, Information Systems Security - 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings. Volume 8303 of Lecture Notes in Computer Science, pages 106-120, Springer, 2013. [doi]

Abstract

Abstract is missing.