Abstrakt. Bit-splitting bryter problemet med att övervaka trafik nyttolaster för att upptäcka förekomsten av misstänkta mönster i flera parallella komponenter, som var och en söker efter en viss bit mönster. Vi analyserar bit-splitting som tillämpas på Aho-Corasick stil sträng matchning. Problemet kan ses som en återhämtning av en speciell klass av vanliga språk över produkt alfabet från en samling av homomorfa bilder. Vi använder denna karakterisering för att bevisa riktighet och för att ge utrymme gränser. I synnerhet visar vi att NFA till DFA omvandling av Aho-Corasick maskin som används för bit-splitting har endast linjära overhead.
REF presenterar en teoretisk automatiserad analys av ett speciellt bit-split-språk.
Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning
{'venue': 'CIAA', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}