NDLI: SPAF: stateless FSA-based packet filters

Content Provider	ACM Digital Library
Author	Rolando, Pierluigi Sisto, Riccardo Risso, Fulvio
Copyright Year	2011
Abstract	We propose a stateless packet filtering technique based on finite-state automata (FSA). FSAs provide a comprehensive framework with well-defined composition operations that enable the generation of stateless filters from high-level specifications and their compilation into efficient executable code without resorting to various opportunistic optimization algorithms. In contrast with most traditional approaches, memory safety and termination can be enforced with minimal run-time overhead even in cyclic filters, thus enabling full parsing of complex protocols and supporting recursive encapsulation relationships. Experimental evidence shows that this approach is viable and improves the state of the art in terms of filter flexibility, performance, and scalability without incurring in the most common FSA deficiencies, such as state-space explosion.
Starting Page	14
Ending Page	27
Page Count	14
File Format	PDF
ISSN	10636692
DOI	10.1109/TNET.2010.2056698
Volume Number	19
Issue Number	1
Journal	IEEE/ACM Transactions on Networking (TON)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-02-01
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Algorithms Filtering algorithms Finite-state automata (FSA) Mathematics Packet filters Packet processing Predicate optimization Protocol description languages (PDLs) Run-time safety
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering Computer Networks and Communications Software Computer Science Applications

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

SPAF: Stateless FSA-Based Packet Filters

Modeling complex packet filters with finite state automata

Modeling Filtering Predicates Composition with Finite State Automata

Modeling filtering predicates composition with finite state automata.

Hyper-minimizing minimized deterministic finite state automata

Succinct Representation Of Static Packet Classifiers

Modeling Filtering Predicates Composition with Finite State Automata

Inductive inference from noisy examples using the hybrid finite state filter

Stack filters: theory and applications

SPAF: stateless FSA-based packet filters

Similar Documents

SPAF: Stateless FSA-Based Packet Filters

Modeling complex packet filters with finite state automata

Modeling Filtering Predicates Composition with Finite State Automata

Modeling filtering predicates composition with finite state automata.

Hyper-minimizing minimized deterministic finite state automata

Succinct Representation Of Static Packet Classifiers

Modeling Filtering Predicates Composition with Finite State Automata

Inductive inference from noisy examples using the hybrid finite state filter

Stack filters: theory and applications

SPAF: stateless FSA-based packet filters