TY  - RPRT
TI  - Formal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack
AU  - Marwan Darwish
AU  - Abdelkader Ouda
AU  - Luiz Fernando Capretz
PY  - 2017
UR  - https://arxiv.org/abs/1711.09985
ID  - 1711.09985
ER  -