@misc{indiciae505e8e55c8e1,
  title = {Formal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack},
  author = {Marwan Darwish and Abdelkader Ouda and Luiz Fernando Capretz},
  year = {2017},
  url = {https://arxiv.org/abs/1711.09985},
  note = {Source identifier: 1711.09985}
}