Timed CP-nets based RoQ Attack Modeling and System Defense Analysis

被引:0
|
作者
He, Yanxiang [1 ]
Liu, Tao [1 ]
Zhong, Hai [1 ]
Liu, Jianbo [1 ]
Xiong, Qi [2 ]
机构
[1] Wuhan Univ, Comp Sch, State Key Lab Software Engn, Wuhan 430072, Peoples R China
[2] Wuhan Univ, Comp Sch, Key Lab Aerosp Informat Secur & Trust Comp, Wuhan 430072, Peoples R China
基金
中国国家自然科学基金;
关键词
RoQ attack; timed CPN; automated on-line defense; System modeling design; Simulations;
D O I
10.1109/CICC-ITOE.2010.58
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Current computing systems often employ sophisticated adaptation mechanisms that enable them to deal with overload conditions. Reduction of Quality(RoQ) attack, a novel category of attack being proposed recently, which exploits the adaptive behavior exhibited by various adaptation mechanisms, can cause different forms of damages to the victim system. For the widely used of adaptation mechanisms, RoQ attack can be a critical threat to the Internet. To better analyze the characteristics of RoQ attack and find efficient defense method, an attack modeling and system defense analysis method based on Timed Colored Petri nets(TCPN) is proposed in this paper. Most traditional network attack simulation methods although can simulate the network behavior realistically, they are not capable of simulate the complicated behavior of victim systems, hence can not be used to support the victim-side defense design efficiently. Based on the strong capacity in expression of colored petri nets, our method is more suitable for modeling dynamic behavior of complex system. With this approach, TCPN is used to describe the behavior of network normal traffic, RoQ attacker and victim system. According to the simulation analysis, we also propose an automated on-line defense scheme based on Adaptative Resource Investment. Simulation experiments show that this scheme can reduce the impact of RoQ attack on targeted system efficiently.
引用
收藏
页码:199 / 204
页数:6
相关论文
共 50 条
  • [21] Enterprise Workflow Modeling Based on Priced Timed Petri Nets
    Zheng, Hong
    Li, Litian
    Wang, Bozhi
    Ruan, Tong
    2018 5TH IEEE INTERNATIONAL CONFERENCE ON CYBER SECURITY AND CLOUD COMPUTING (IEEE CSCLOUD 2018) / 2018 4TH IEEE INTERNATIONAL CONFERENCE ON EDGE COMPUTING AND SCALABLE CLOUD (IEEE EDGECOM 2018), 2018, : 106 - 110
  • [22] Timed Petri Nets for Modeling and Performance Evaluation of a Priority Queueing System
    Strzeciwilk, Dariusz
    ENERGIES, 2023, 16 (23)
  • [23] An Attack Modeling Based on Hierarchical Colored Petri Nets
    Wu, Ruoyu
    Li, Weiguo
    Huang, He
    ICCEE 2008: PROCEEDINGS OF THE 2008 INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, 2008, : 918 - 921
  • [24] Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells
    Zuberek, WM
    Kubiak, W
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1999, 37 (11-12) : 191 - 206
  • [25] Modeling and Performance Analysis of Satellite Network Moving Target Defense System with Petri Nets
    Shi, Leyi
    Du, Shanshan
    Miao, Yifan
    Lan, Songbai
    REMOTE SENSING, 2021, 13 (07)
  • [26] Modeling and analysis of distributed state space generation for timed Petri nets
    Zuberek, WM
    Rada, I
    34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 93 - 98
  • [27] Modeling and Simulation of Cascade Reservoirs Flood Control System Based on Hybrid Stochastic Timed Petri Nets
    Cao Ruimin
    Wang Fengli
    Hao Lina
    Gao Qiang
    PROCEEDINGS OF THE 28TH CHINESE CONTROL AND DECISION CONFERENCE (2016 CCDC), 2016, : 997 - 1002
  • [28] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
    Gu, ZH
    Shin, KG
    23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
  • [29] Attack-defense tree-based analysis and optimal defense synthesis for system design
    Meng, Baoluo
    Viswanathan, Arjun
    Paul, Saswata
    Smith, William
    Moitra, Abha
    Siu, Kit
    Durling, Michael
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2024,
  • [30] The analysis of data parallel problem based on timed Petri nets
    Fang, Xianwen
    Xu, Zhicai
    Yin, Zhixiang
    DCABES 2006 Proceedings, Vols 1 and 2, 2006, : 226 - 229