@inproceedings{DJP122,
  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://www.springerlink.com/content/mw5146681846x8r3/fulltext.pdf},
  ulkey         = {Dong:9175}
}