针对外部云拒绝服务(DoS)攻击的认证协议的形式化分析

Scidown文献预览系统！

作者：scidown 发布时间：2021-06-09 10:50:36 文章标题：

针对外部云拒绝服务(DoS)攻击的认证协议的形式化分析( Formal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack )

文章作者：

M Darwish A Ouda LF Capretz

文章简述：

拒绝服务（DoS）攻击被认为是云计算服务可用性的最大威胁之一。由于云计算系统独特的体系结构，检测和防范DoS攻击的方法与传统网络系统有很大的不同。DoS攻击者的一个主要目标是身份验证协议，因为它被认为是访问云资源的网关。在本文中，我们提出了一种基于云的身份验证协议，通过让云用户参与到高计算过程中，安全地对云用户进行身份验证，并有效地防止云计算系统上的DoS攻击。然后，通过Syverson和Van Oorschot(SVO)逻辑对协议进行分析，验证协议在云计算系统中的认证过程。

文章下载地址（开放版）：