Scholarlink

According to Statista, the amount of data generated worldwide today has grown from 12.5 zettabytes to 149 zettabytes between 2014 and 2024. Since most of this data is stored on the Internet, it is transmitted mainly via the Transmission Control Protocol (TCP). By analyzing the performance of the TCP protocol, many network attacks can be detected. Therefore, this paper develops a Petri net model (PNM) of the TCP protocol to detect unexpected interruptions in the data transmitted via the TCP protocol. The model is developed using the RFC 793 protocol standard by Jon Postel. The role of the TCP protocol in the network and its reliability characteristics are analyzed. The correctness and reliability of the TCP model are verified by calculating the Petri net invariants (PNI). The impact of the model on the operation of the TCP protocol in real network conditions is assessed. A PNM is developed and tested to detect and investigate unexpected failures during the establishment and termination of a TCP connection.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Testing TCP Protocol Flags Based on the Invariance of Petri Networks

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Maruf Juraev,
  • Inomjon Yarashov,
  • Amonov Sadulla,
  • Ibragimov Shavkat,
  • Onarkulov Maksad

摘要

According to Statista, the amount of data generated worldwide today has grown from 12.5 zettabytes to 149 zettabytes between 2014 and 2024. Since most of this data is stored on the Internet, it is transmitted mainly via the Transmission Control Protocol (TCP). By analyzing the performance of the TCP protocol, many network attacks can be detected. Therefore, this paper develops a Petri net model (PNM) of the TCP protocol to detect unexpected interruptions in the data transmitted via the TCP protocol. The model is developed using the RFC 793 protocol standard by Jon Postel. The role of the TCP protocol in the network and its reliability characteristics are analyzed. The correctness and reliability of the TCP model are verified by calculating the Petri net invariants (PNI). The impact of the model on the operation of the TCP protocol in real network conditions is assessed. A PNM is developed and tested to detect and investigate unexpected failures during the establishment and termination of a TCP connection.