@techreport{DJP18,
  author        = {Naipeng Dong and Hugo Jonker and Jun Pang},
  title         = {Formal Analysis of an E-Health Protocol},
  year          = {2018},
  institution   = {arXiv},
  number        = {1808.08403},
  url           = {https://arxiv.org/abs/1808.08403}
}