Formal correctness of conflict detection for firewalls.

Venanzio Capretta Bernard Stepien Amy P. Felty Stan Matwin

Published in: FMSE (2007)

Keyphrases

conflict detection
formal model
data sets
network security
formal representation
database
neural network
artificial intelligence
formal methods