Abstract:Regular expressions (regexes) provide rich expressiveness to specify the signatures of intrusions and are widely used in contemporary network security systems for signature-based intrusion detection. To perform very fast regex matching, deterministic finite automata (DFA) has been the first choice because its time complexity is constant O ( 1 ) . Unfortunately, DFA often suffers the well known state explosion problem and, consequently, tends to require prohibitive memory overhead in practical applications. To address the problem, a wide variety of DFA compression techniques have been proposed; however, few can keep up with the ever increasing network traffic bandwidth and regex set complexity. This paper proposes that the DFA problem is rooted in regexes (rather than in DFA), i.e., semantic overlapping of regexes, and accordingly presents a complete algorithmic solution PaCC (Partition, Compression, and Combination), that can transform the given large-scale set of complex regexes into a compact and fast matching engine using DFA as its core. PaCC fundamentally defuses state explosion for DFA by partitioning complex regexes into overlapping-free segments. By exploiting the massive repetitiveness among the resulting segments, PaCC can further deflate corresponding DFA in terms of the number of states. Moreover, on the basis of the characteristics of these segments, PaCC takes a tailor-made compression approach and reduces over 96% of the state transitions for the corresponding DFA. In the final matching engine, the combination of DFA and a small relation mapping table, built from segments and their syntagmatic relations, respectively, guarantees high performance and semantic equivalence. Experimental evaluation shows that PaCC produces succinct matching engines with memory usage proportional to the size of the real-world Snort and Bro regex sets, with speeds of up to 1.7Gbps per core on a HP Z220 SFF workstation with a 3.40GHz Intel Core i7-3770.

A Formal Study Of Practical Regular Expressions

Regular Expressions in a CS Formal Languages Course

P4rex: Accelerating Regular Expression Matching with Programmable Switches

Real-time Regular Expression Matching

Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions

Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular Expressions

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds

SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications

Extending Regular Expressions with Duration Constraints for Modelling and Verifying Hybrid Systems

Regular Expression Matching and Operational Semantics

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Practical Regular Expression Matching Free of Scalability and Performance Barriers

A Program That Simplifies Regular Expressions (Tool paper)

Solving String Constraints with Regex-dependent Functions Through Transducers with Priorities and Variables

Duration-constrained Regular Expressions.

Derivatives for Enhanced Regular Expressions

Towards Fast Regular Expression Matching in Practice

gMeta: Template-based Regular Expression Generation over Noisy Examples

Regular Expressions with Backreferences and Lookaheads Capture NLOG

Introduction to Searching with Regular Expressions

Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels