Structured Firewall Query Language

In comparison, in this book, we introduce a simple and effective SQL-like Prologue 5 query language, called the Structured Firewall Query Language (SFQL), for describing firewall queries; a theorem, called the Firewall Query Theorem, as a foundation for developing firewall query processing algorithms; and an efficient firewall query processing algorithm.