@misc{indiciae2a9bdb69eed4,
  title = {Formal Analysis of an E-Health Protocol},
  author = {Naipeng Dong and Hugo Jonker and Jun Pang},
  year = {2018},
  url = {https://arxiv.org/abs/1808.08403},
  note = {Source identifier: 1808.08403}
}