【摘 要】
:
Denial of Service (DoS) attack, especially Distributed Denial of Service (DDoS) attack, is one of the greatest threats to Internet. Much research has been done
【机 构】
:
School of Information Science and Engineering
论文部分内容阅读
Denial of Service (DoS) attack, especially Distributed Denial of Service (DDoS) attack, is one of the greatest threats to Internet. Much research has been done for it by now, however, it is always concentrated in the behaviors of the network and can not deal with the problem exactly. In this paper, we start from the security of the protocol, then we propose a novel theory for security protocol analysis of Denial of Service in order to deal with the DoS attack. We first introduce the conception of weighted graph to extend the strand space model, then we extend the penetrator model and define the goal of anti-DoS attack through the conception of the DoS-stop protocol, finally we propose two kinds of DoS test model and erect the novel formal theory for security protocol analysis of Denial of Service. Our new formal theory is applied in two example protocols. It is proved that the Internet key exchange (IKE) easily suffers from the DoS attacks, and the efficient DoS-resistant secure key exchange protocol (JFK) is resistant against DoS attack for the server, respectively.
其他文献
Quaternary Mg-Zn-Y-Ce quasi-crystal-containing alloys were fabricated using a metal mold casting route.The microstructures of Mg-Zn-Y-Ce alloys and the distribu
Secure sensor networks has received much attention in the last few years. A sensor network always works unattended possibly in a hostile environment such as a b
To improve the precision of inertial navigation system (INS) during long time operation, the rotation modulated technique (RMT) was employed to modulate the err
Time-delays,due to the information transmission between subsystems,naturally exist in large-scale systems and the existence of the delay is frequendy a source o
In the practice of petroleum industry, adding cold flow improver (CFI) to lower the fuels cold filter plugging point (CFPP) is an effective and economic way for
将Debye-Hückel理论和Onsager电导理论用于研究混凝土孔溶液中离子的扩散规律.首先,建立了饱和混凝土中离子扩散系数的计算模型,该模型考虑了离子的种类、孔溶液中离子的浓
Phenolic-resin composites reinforced with carbon fiber (CF) and basalt fiber (BF) interlayer hybrid fibers plain fabric were fabricated. The tensile strength, c
Recent advances in scientific understanding of high-temperature materials processing using novel experimental methodologies have shed light on the complex role
In order to test the bending-torsional coupled vibration characteristics of the multi-shafts gear transmission system of large power vehicles, a torsional vibra