An Attack Modeling Based on Colored Petri Net

被引:1
|
作者
周世杰
秦志光
张峰
刘锦德
机构
[1] School of Computer Science and Engineering
[2] UESTC Chengdu 610054 China
关键词
petri net; color petri net (CPN); intrusion detection and response; attack modeling;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A color petri net (CPN) based attack modeling approach is addressed. Compared with graph-based modeling, CPN based attack model is flexible enough to model Internet intrusions, because of their static and dynamic features. The processes and rules of building CPN based attack model from attack tree are also presented. In order to evaluate the risk of intrusion, some cost elements are added to CPN based attack modeling. This extended model is useful in intrusion detection and risk evaluation. Experiences show that it is easy to exploit CPN based attack modeling approach to provide the controlling functions, such as intrusion response and intrusion defense. A case study given in this paper shows that CPN based attack model has many unique characters which attack tree model hasn’t.
引用
收藏
页码:47 / 52
页数:6
相关论文
共 50 条
  • [21] Colored Petri-net based approach for modeling and optimization of FIFO stack
    Fu, Xinhua
    Xiao, Mingqing
    Yuan, Dayong
    Zou, Depeng
    Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2008, 29 (03): : 577 - 582
  • [22] Modeling and Analysis for Tracing System of Agricultural Products Based on Colored Petri Net
    Wang, Miao
    Sun, RuiZhi
    PROCEEDINGS OF THE 2021 IEEE 24TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2021, : 7 - 11
  • [23] Modeling and verifying discretionary access control by colored Petri net
    Tang, Yewen
    Yu, Wei
    Bai, Yingcai
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 31 (08): : 66 - 70
  • [24] Colored Petri net modeling and simulation of signal transduction pathways
    Lee, DY
    Zimmer, R
    Lee, SY
    Park, S
    METABOLIC ENGINEERING, 2006, 8 (02) : 112 - 122
  • [25] Fuzzy colored Petri net and its application in workflow modeling
    Zhang, Pengcheng
    Li, Renhou
    Qin, Ming
    Gu, Xinhua
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2002, 14 (08): : 713 - 716
  • [26] Network Security Analyzing and Modeling based on Petri net and Attack tree for SDN
    Yao, Linyuan
    Dong, Ping
    Zheng, Tao
    Zhang, Hongke
    Du, Xiaojiang
    Guizani, Mohsen
    2016 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), 2016,
  • [27] Petri Net-based Power CPS Network Attack and Impact Modeling
    Xu, Yue
    Fu, Rong
    PROCEEDINGS OF 2018 5TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENCE SYSTEMS (CCIS), 2018, : 1107 - 1110
  • [28] Modeling and analysis of colored petri net based on the semi-tensor product of matrices
    Zhao, Jiantao
    Chen, Zengqiang
    Liu, Zhongxin
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (01)
  • [29] Modeling and emulation of a furnace in IC fab based on colored-timed Petri net
    Lin, SY
    Huang, HP
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 410 - 420
  • [30] Modeling of web-based collaborative negotiation systems using Colored Petri Net
    Jiang, Hong
    Gu, Junzhong
    Yu, Qingsong
    12TH INTERNATIONAL MULTI-MEDIA MODELLING CONFERENCE PROCEEDINGS, 2006, : 201 - 208