FORMAL MODELS OF DISTRIBUTED COMPUTING SYSTEMS AND TYPES OF THE ATTACKS ON THEM

In this paper the formal model of cloud computing systems as type of distributed computing systems are developed. The popular cloud simulators are presented. Network attacks on cloud computing systems are presented. In the future work the developed models will be applied in the simulation systems.

Authors: Ya. A. Bekeneva, N. N. Shipilov, K. A. Borisenko, A. V. Shorov

Direction: Informatics, management and Computer Technology

Keywords: Simulation, network security, virtual network, virtual machine, multi-level topology, DDoS, OMNeT++, INET, ReaSE, SYN-flooding, NTP attack, Ingress Filtering, Egress Filtering


View full article