Data Minimisation in Communication Protocols: A Formal Analysis Framework and Application to Identity Management

Meilof Veeningen, Benne de Weger, Nicola Zannone

With the growing amount of personal information exchanged over the Internet, privacy is becoming more and more a concern for users. One of the key principles in protecting privacy…