针对外部基于云的拒绝服务(DoS)攻击的认证协议形式化分析
密码学与安全
2017-11-29 v1
摘要
拒绝服务(DoS)攻击被认为是云计算服务可用性面临的最大威胁之一。由于云计算系统架构独特,检测和防御DoS攻击的方法与传统网络系统大不相同。DoS攻击者的一个主要目标是认证协议,因为它被视为访问云资源的网关。在这项工作中,我们提出了一种基于云的认证协议——通过让用户参与高计算量的过程,安全地认证云用户并有效防止对云计算系统的DoS攻击。随后,我们通过Syverson和Van Oorschot(SVO)逻辑分析该协议,以验证云计算系统中协议的认证过程。
引用
@article{arxiv.1711.09985,
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},
journal= {arXiv preprint arXiv:1711.09985},
year = {2017}
}
备注
arXiv admin note: text overlap with arXiv:1511.08839