hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.

Achim D. Brucker Lukas Brügger Burkhart Wolff

Published in: ICTAC (2013)

Keyphrases

real time
formal methods
database
reactive systems
mobile robot
dynamic environments
intrusion detection
indoor environments
genetic algorithm
test cases
intrusion detection system
network security
complex environments
formal verification
java card