Meilof Veeningen, Benne de Weger, Nicola Zannone. Symbolic Privacy Analysis through Linkability and Detectability. In M. Carmen Fernández Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo, editors, Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings. Volume 401 of IFIP Advances in Information and Communication Technology, pages 1-16, Springer, 2013. [doi]
Abstract is missing.