A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack
复制标题
用于分析拒绝服务攻击抵抗力的成本估算计算
DOI：
10.1007/978-3-540-37621-7_2
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
R. Ikeda
中科院分区：
文献类型：
--
作者：
Daigo Tomioka;S. Nishizaki;R. Ikeda
为了描述和分析密码协议，一些研究者提出了形式化的框架，并研究了通信协议的安全特性，如真实性。阿巴迪和戈登使用米尔纳的π演算来研究安全属性。抗拒绝服务攻击是通信协议的重要特性之一。本文提出了一种新的演算来分析拒绝服务攻击的抵抗能力。分析考虑的一个关键点是估计每个CPU中的资源消耗。在所提出的演算中，每个CPU的时间和空间成本通过参考其类型和应用数据来确定。
In order to describe and analyze cryptographic protocols, several researchers have proposed formal frameworks and have studied the security properties of communication protocols, such as authenticity. Abadi and Gordon used Milner’s pi-calculus for their research into security properties. The resistance to denial-of-service (DoS) attacks is one of the most important properties of communication protocols. This paper proposes a new calculus for analyzing the resistance to DoS. One crucial point that the analysis considers is the estimation of the resource consumption in each CPU. In the proposed calculus, the time and space costs for each CPU are determined by referring to its type and application data.