A Formal Approach To Firewalls Testing Techniques.

Alexander Barabanov Alexey Markov Valentin Tsirlov

Published in: CoRR (2013)

Keyphrases

test data
database
multiscale
formal model
network security
real world
artificial neural networks
knowledge representation
formal specification