Login / Signup
A formal logic approach to firewall packet filtering analysis and generation.
John Govaerts
Arosha K. Bandara
Kevin Curran
Published in:
Artif. Intell. Rev. (2008)
Keyphrases
</>
packet filtering
formal logic
e learning
data analysis
database systems
network security