Formal Analysis of Privacy in an eHealth Protocol.

Naipeng Dong, Hugo Jonker, Jun Pang

Browse the full ESORICS paper archive.