Title
Formal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack.
Abstract
The Denial-of-service (DoS) attack is considered one of the largest threats to the availability of cloudcomputing services. Due to the unique architecture of cloud-computing systems, the methods for detecting and preventing DoS attacks are quite different from those used in traditional network systems. A main target for DoS attackers is the authentication protocol because it is considered a gateway to accessing a cloud’s resources. In this work, we propose a cloud-based authentication protocol—one that securely authenticates the cloud’s user and effectively prevents DoS attack on the cloudcomputing system—by involving the user in a high computation process. Then, we analyze the protocol via Syverson and Van Oorschot (SVO) logic to verify the authentication process of the protocol in a cloudcomputing system.
Year
DOI
Venue
2017
10.20533/ijisr.2042.4639.2014.0046
arXiv: Cryptography and Security
Field
DocType
Volume
Cloud resources,Challenge-Handshake Authentication Protocol,Authentication,Denial-of-service attack,Computer science,Computer security,Computer network,Authentication protocol,Default gateway,Reflection attack,Cloud computing
Journal
abs/1711.09985
Issue
ISSN
Citations 
1
International Journal for Information Security Research, Volume 3, Issue 1/2, pp. 400-407, March-June 2013
0
PageRank 
References 
Authors
0.34
6
3
Name
Order
Citations
PageRank
Marwan Darwish120.71
Abdelkader H. Ouda2939.26
Luiz Fernando Capretz354568.27