Validating firewalls using flow logics.

Flemming Nielson Hanne Riis Nielson René Rydhof Hansen

Published in: Theor. Comput. Sci. (2002)

Keyphrases

expressive power
flow patterns
modal logic
flow field
network security
information flow
neural network
artificial intelligence
inference rules
data sets
anomaly detection
classical logic
conditional logic
blood flow
propositional calculus
inheritance reasoning