Formal Privacy Analysis of Communication Protocols for Identity Management

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]

Authors

Meilof Veeningen

This author has not been identified. Look up 'Meilof Veeningen' in Google

Benne de Weger

This author has not been identified. Look up 'Benne de Weger' in Google

Nicola Zannone

This author has not been identified. Look up 'Nicola Zannone' in Google