@inproceedings{DJP12b,
  author        = {N. Dong and H. L. Jonker and J. Pang},
  title         = {Formal analysis of privacy in an e{H}ealth protocol},
  booktitle     = {Proc.\ 17th European Symposium on Research in Computer Security (ESORICS'12)},
  publisher     = {Springer-Verlag},
  series        = {LNCS},
  year          = {2012},
  volume        = {7459},
  pages         = {325-342},
  ee            = {http://dx.doi.org/10.1007/978-3-642-33167-1_19}
}