Anomaly detection model based on Petri net for TCP protocol

被引：0
|
作者：
School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China [1 ]
不详 [2 ]
机构：
来源：
Hsi An Chiao Tung Ta Hsueh | 2006年 / 6卷 / 659-662期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Discovering a data interpreted petri net model of industrial control systems for anomaly detection
    Hussain, Mukhtar
    Fidge, Colin
    Foo, Ernest
    Jadidi, Zahra
    EXPERT SYSTEMS WITH APPLICATIONS, 2023, 230
  • [2] A Petri net model for Time-Delay Attack detection in Precision Time Protocol-based networks
    Moradi, Mohsen
    Jahangir, Amir Hossein
    IET CYBER-PHYSICAL SYSTEMS: THEORY & APPLICATIONS, 2024, 9 (04) : 407 - 423
  • [3] Verification of protocol ECMA with decomposition of Petri net model
    Zaitsev, DA
    ISAS/CITSA 2004: International Conference on Cybernetics and Information Technologies, Systems and Applications and 10th International Conference on Information Systems Analysis and Synthesis, Vol 3, Proceedings, 2004, : 231 - 236
  • [4] Modeling and Evaluating of Net Protocol Based on Timed Colored Petri Net
    Zhu, LianZhang
    Zhang, LeWei
    Li, Qing
    PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE OF MODELLING AND SIMULATION, VOL III: MODELLING AND SIMULATION IN ELECTRONICS, COMPUTING, AND BIO-MEDICINE, 2008, : 118 - 122
  • [5] Simulation and Modeling of Modbus Protocol Based on Petri Net
    Guo, Lei
    Yang, Xiaochuan
    Song, Yuan
    COGNITIVE SYSTEMS AND SIGNAL PROCESSING, PT II, 2019, 1006 : 512 - 522
  • [6] Disassembly model based on Petri net
    Guo, Mao
    Cai, Jianguo
    Tong, Jinsong
    Zhongguo Jixie Gongcheng/China Mechanical Engineering, 2000, 11 (09): : 1007 - 1009
  • [7] Model Checking Workflow Net Based on Petri Net
    ZHOU Conghua~1
    2. School of Computer Science and Engineering
    Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
  • [8] A stepwise refinement based approach for synthesizing protocol specifications in an interpreted Petri net model
    Kahlouche, H
    Girardot, JJ
    IEEE INFOCOM '96 - FIFTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES: NETWORKING THE NEXT GENERATION, PROCEEDINGS VOLS 1-3, 1996, : 1165 - 1173
  • [9] Colored Petri Net Model of the Session Initiation Protocol (SIP)
    Gehlot, Vijay
    Nigro, Carmen
    IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,
  • [10] Petri Net Model of Session Initiation Protocol and Its Verification
    Yang Peng
    Yuan Zhanting
    Wang Jizeng
    2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 1861 - +
12345