Formal Methods to Improve the Identification and Validation of Network Traffic

被引：0

作者：

Finsterbusch, Michael ^{[1
]}

Mueller, Jean-Alexander ^{[2
]}

机构：

[1] HTWK Leipzig, Leipzig, Germany

[2] HfT Leipzig, Leipzig, Germany

来源：

2013 21ST IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP) | 2013年

关键词：

traffic identification; protocol verification; CLASSIFICATION;

D O I：

暂无

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

Internet traffic identification and validation has been the subject of intensive study for many years. It is used to provide Quality of Service, to provide security and to implement many other tasks. The reliability of these methods, however, is not proved by formal verification. Therefore, the results of these methods can vary from the lab where these methods were developed and their deployment in real world application. In this paper, we present an idea to overcome this problem in order to guarantee reliability and provide more optimised solutions.

引用

页数：3

共 50 条

[41] Formal Methods for a System of Systems Analysis Framework Applied to Traffic Management
Dickerson, Charles E.
Ji, Siyuan
Roslan, Rosmira
2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
[42] Literature Review on Traffic Congestion Identification Methods
Jia, Ruo
Dai, Shenghong
Huang, Ni
Li, Shuiying
Liu, Zhiyuan
Huanan Ligong Daxue Xuebao/Journal of South China University of Technology (Natural Science), 2021, 49 (04): : 124 - 139
[43] Techniques to Improve Stable Distribution Modeling of Network Traffic
Bollmann, Chad
Tummala, Murali
McEachen, John C.
Scrofani, James W.
Kragh, Mark
PROCEEDINGS OF THE 51ST ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), 2018, : 5524 - 5531
[44] Does Traffic Metering Improve Network Performance Efficiency?
Hajbabaie, Ali
Benekohal, Rahim F.
2011 14TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2011, : 1114 - 1119
[45] Correction to: On Formal Modeling and Validation of Wireless Sensor Network Protocols
Rachid Bechar
Mounir Tahar Abbes
Freha Mezzoudj
Ladjel Bellatreche
Wireless Personal Communications, 2021, 120 : 3443 - 3443
[46] Network Security Traffic Analysis Platform Design and Validation
Maasaoui, Zineb
Hathah, Anfal
Bilil, Hasnae
Mai, Van Sy
Battou, Abdella
Lbath, Ahmed
2022 IEEE/ACS 19TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2022,
[47] Traffic identification using artificial neural network
Ali, AA
Tervo, R
CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING 2001, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 667 - 672
[48] WeChat identification based on network traffic characteristics
Tian, C. W.
Sun, G. L.
Zhu, S. X.
Zhang, Q.
INFORMATION SCIENCE AND ELECTRONIC ENGINEERING, 2017, : 319 - 322
[49] Network Traffic Identification with Convolutional Neural Networks
Jain, Akshit V.
2018 16TH IEEE INT CONF ON DEPENDABLE, AUTONOM AND SECURE COMP, 16TH IEEE INT CONF ON PERVAS INTELLIGENCE AND COMP, 4TH IEEE INT CONF ON BIG DATA INTELLIGENCE AND COMP, 3RD IEEE CYBER SCI AND TECHNOL CONGRESS (DASC/PICOM/DATACOM/CYBERSCITECH), 2018, : 1001 - 1007
[50] Network traffic identification in packet sampling environment
Shi Dong
Yuanjun Xia
Digital Communications and Networks, 2023, 9 (04) : 957 - 970

← 1 2 3 4 5 →