Differential Encoding of DFAs for Fast Regular Expression Matching

被引:21
|
作者
Ficara, Domenico [1 ]
Di Pietro, Andrea [1 ]
Giordano, Stefano [1 ]
Procissi, Gregorio [1 ]
Vitucci, Fabio [1 ]
Antichi, Gianni [1 ]
机构
[1] Univ Pisa, Dipartimento Ingn Informaz, I-56122 Pisa, Italy
关键词
Deep packet inspection; differential encoding; finite automata (FAs); pattern matching; regular expressions;
D O I
10.1109/TNET.2010.2089639
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Deep packet inspection is a fundamental task to improve network security and provide application-specific services. State-of-the-art systems adopt regular expressions due to their high expressive power. They are typically matched through deterministic finite automata (DFAs), but large rule sets need a memory amount that turns out to be too large for practical implementation. Many recent works have proposed improvements to address this issue, but they increase the number of transitions (and then of memory accesses) per character. This paper presents a new representation for DFAs, orthogonal to most of the previous solutions, called delta finite automata (delta FA), which considerably reduces states and transitions while preserving a transition per character only, thus allowing fast matching. A further optimization exploits Nth order relationships within the DFA by adopting the concept of "temporary transitions."
引用
收藏
页码:683 / 694
页数:12
相关论文
共 50 条
  • [41] Text Indexing for Regular Expression Matching
    Gibney, Daniel
    Thankachan, Sharma, V
    ALGORITHMS, 2021, 14 (05)
  • [42] New algorithms for regular expression matching
    Bille, Philip
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 1, 2006, 4051 : 643 - 654
  • [43] Fast regular expression search
    Navarro, G
    Raffinot, M
    ALGORITHM ENGINEERING, 1999, 1668 : 198 - 212
  • [44] FROM REGULAR EXPRESSIONS TO DFAS USING COMPRESSED NFAS
    CHANG, CH
    PAIGE, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 644 : 90 - 110
  • [45] Fixing the State Budget: Approximation of Regular Languages with Small DFAs
    Gange, Graeme
    Ganty, Pierre
    Stuckey, Peter J.
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 67 - 83
  • [46] A Real-time Updatable FPGA-based Architecture for Fast Regular Expression Matching
    Tang, Qiu
    Jiang, Lei
    Liu, Xin-xing
    Dai, Qiong
    2ND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT, ITQM 2014, 2014, 31 : 852 - 859
  • [47] Fast correlative matching of quasi-regular images
    P. A. Chochia
    Journal of Communications Technology and Electronics, 2010, 55 : 1482 - 1484
  • [48] Fast Correlative Matching of Quasi-Regular Images
    Chochia, P. A.
    JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS, 2010, 55 (12) : 1482 - 1484
  • [49] Complexity analysis of extended regular expression matching
    Takahashi, Kazuya
    Minamide, Yasuhiko
    1600, Japan Society for Software Science and Technology (38): : 53 - 70
  • [50] Type Inference for Regular Expression Pattern Matching
    Marin, Mircea
    Craciun, Adrian
    12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 366 - 373