Advertisement
Published in:
2013 | OriginalPaper | Chapter
16. Formal Model of Time for Analyzing Denial-of-Service Attacks
Authors : Shin-ya Nishizaki, Ritsuya Ikeda
Published in: Informatics and Management Science IV
Publisher: Springer London
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
A denial-of-service attack (DoS attack) is an attempt to make a system resource unavailable to its intended users. Several types of DoS attacks are known. A SYN flood attack is a typical DoS attack, exploiting the vulnerability of TCP’s three-way handshake with respect to imbalances between the computational costs of clients and server. In addition to cost imbalance, the amount of cost over a given short term is also an indispensable factor in DoS attacks, including SYN flood attacks. In this paper, we propose a process calculus for formalizing computational costs and cost amounts over the short term. This procedure is called the “timed spice-calculus”, and was developed by improving the prototypic theory of preliminary studies, known as the spice-calculus. Time is modeled as a hierarchical ordered structure with respect to types of processing.