Formal Privacy Analysis of Communication Protocols for Identity Management.

Meilof Veeningen, Benne de Weger, Nicola Zannone

Browse the full ICISS paper archive.