Naipeng Dong, Hugo Jonker, Jun Pang. Formal Analysis of Privacy in an eHealth Protocol. In Sara Foresti, Moti Yung, Fabio Martinelli, editors, Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Volume 7459 of Lecture Notes in Computer Science, pages 325-342, Springer, 2012. [doi]
Abstract is missing.