Searcharxiv⌕ Search

arXiv subjects

Vojtěch Havlena

Publications and source records attributed to Vojtěch Havlena.

20 records · Page 2Linked to original sources

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata

Deep packet inspection via regular expression (RE) matching is a crucial task of network intrusion detection systems (IDSes), which secure Internet connection against attacks and suspicious network traffic. Monitoring high-speed computer networks (100 Gbps and faster) in a single-box solution demands that the RE matching, traditionally based on finite automata (FAs), is accelerated in hardware. In this paper, we describe a novel FPGA architecture for RE matching that is able to process network traffic beyond 100 Gbps. The key idea is to reduce the required FPGA resources by leveraging approximate nondeterministic FAs (NFAs). The NFAs are compiled into a multi-stage architecture starting with the least precise stage with a high throughput and ending with the most precise stage with a low throughput. To obtain the reduced NFAs, we propose new approximate reduction techniques that take into account the profile of the network traffic. Our experiments showed that using our approach, we were able to perform matching of large sets of REs from SNORT, a popular IDS, on unprecedented network speeds.

cs.FL↗

A Note on One Less Known Class of Generated Residual Implications

This paper builds on our contribution [Havlena and Hlinena, 2016] which studied modelling of the conjunction in human language. We have discussed three different ways of constructing conjunction. We have dealt with generated t-norms, generated means and Choquet integral. In this paper we construct the residual operators based on the above conjunctions. The only operator based on a t-norm is an implication. We show that this implication belongs to the class of generated implications I^g_N which was introduced in [Smutna, 1999] and studied in [Biba and Hlinena, 2012]. We study its properties. More, we investigate this class of generated implications. Some important properties, including relations between some classes of implications, are given.

math.LO↗