Verification of Distributed Firewalls.

Mohamed G. Gouda Alex X. Liu Mansoor Jafry

Published in: GLOBECOM (2008)

Keyphrases

distributed systems
model checking
cooperative
distributed environment
network security
databases
artificial intelligence
similarity measure
multi agent
communication overhead
distributed architecture
real time
learning algorithm
intrusion detection system
loosely coupled