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 条
  • [1] Prioritization of Network Traffic to Improve VoIP Traffic Quality
    Mieliekhova, Mariia
    Starkova, Olena
    Herasymenko, Kostiantyn
    2016 THIRD INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE PROBLEMS OF INFOCOMMUNICATIONS SCIENCE AND TECHNOLOGY (PIC S&T), 2016, : 119 - 122
  • [2] Driver Identification Through Formal Methods
    Martinelli, Fabio
    Mercaldo, Francesco
    Nardone, Vittoria
    Santone, Antonella
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2022, 23 (06) : 5625 - 5637
  • [3] THE NEED FOR USABLE FORMAL METHODS IN VERIFICATION AND VALIDATION
    Gore, Ross
    Diallo, Saikou
    2013 WINTER SIMULATION CONFERENCE (WSC), 2013, : 1257 - 1268
  • [4] Using Formal Methods for Verification and Validation in Railway
    Reichl, Klaus
    Fischer, Tomas
    Tummeltshammer, Peter
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 3 - 13
  • [5] PRACTICAL METHODS FOR THE FORMAL VALIDATION OF SDL SPECIFICATIONS
    HOLZMANN, GJ
    COMPUTER COMMUNICATIONS, 1992, 15 (02) : 129 - 134
  • [6] Validation of Control Algorithm Using Formal Methods
    Sheregar, Sushan. D.
    Nanda, Manju
    Kushal, K. S.
    Jayanthi, J.
    2017 IEEE AEROSPACE CONFERENCE, 2017,
  • [7] Formal Methods for Network Performance Analysis
    Arashloo, Mina Tahmasbi
    Beckett, Ryan
    Agarwal, Rachit
    PROCEEDINGS OF THE 20TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, NSDI 2023, 2023, : 645 - 661
  • [8] Formal Control of Traffic Systems via Network Decomposition
    Bardakci, Kemal Cagri
    Gol, Ebru Aydin
    2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 756 - 761
  • [9] Can Formal Methods Improve the Efficiency of Code Reviews?
    Hentschel, Martin
    Haehnle, Reiner
    Bubel, Richard
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 3 - 19
  • [10] FORMAL METHODS TO IMPROVE PUBLIC ADMINISTRATION BUSINESS PROCESSES
    Polini, Andrea
    Polzonetti, Andrea
    Re, Barbara
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2012, 46 (02): : 203 - 229
12345