Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: A model of stateful firewalls and its properties
Firewall design: consistency, completeness, and compactness
STATL: An Attack Language for State-based Intrusion Detection
Stateful intrusion detection for high-speed network's
Mencius: Building Efficient Replicated State Machine for WANs
An unavailability analysis of firewall sandwich configurations
Combining UML, ASTD and B for the formal specification of an access control filter
Cryptographic Reverse Firewalls
A two-stage flow-based intrusion detection model for next-generation networks
Distributed Firewalls
Learning Finite-State Machines Statistical and Algorithmic Aspects
Analysis of Software Defined Network firewall (SDF)
Evaluating access control policies through model checking
A hybrid finite automaton for practical deep packet inspection
Software-Defined Firewall: Enabling Malware Traffic Detection and Programmable Security Control
Creating firewall rules with machine learning techniques
Characterization and measurement of TCP traversal through NATs and firewalls
Counting in Anonymous Dynamic Networks under Worst-Case Adversary
Change-impact analysis of firewall policies
Detecting and Resolving Firewall Policy Anomalies
Modeling and Formalization of Fuzzy Finite Automata for Detection of Irregular Fire Flames
Decision Tree-Based Data Characterization for Meta- Learning
Plate-laminated corporate-feed slotted waveguide array antenna at 350-GHz band by silicon process
it service management using itil v3 : a case study .
A coplanar waveguide on-chip RF choke for WLAN RF circuits
Graph-Based Algorithms for Boolean Function Manipulation