Checking the Expressivity of Firewall Languages.

Lorenzo Ceragioli Pierpaolo Degano Letterio Galletta

Published in: The Art of Modelling Computational Systems (2019)

Keyphrases

expressive power
type checking
databases
intrusion detection
language independent
computational properties
multi lingual
network traffic
data mining
expert systems
network security
data sets
information systems
query translation
multilingual information retrieval