Meilof Veeningen, Benne de Weger, Nicola Zannone. Formal Privacy Analysis of Communication Protocols for Identity Management. In Sushil Jajodia, Chandan Mazumdar, editors, Information Systems Security - 7th International Conference, ICISS 2011, Kolkata, India, December 15-19, 2011, Procedings. Volume 7093 of Lecture Notes in Computer Science, pages 235-249, Springer, 2011. [doi]
Abstract is missing.