Industrial Grade Methodology for Firewall Simulation and Requirements Verification.
Ramon BarakatFaruk CatalNikolay TcholtchevYacine RebahiIna SchieferdeckerPublished in: NOMS (2020)
Keyphrases
- discrete event simulation
- java card
- industrial applications
- mathematical models
- intrusion detection
- model checking
- databases
- simulation models
- network traffic
- simulation study
- computer systems
- case study
- face verification
- functional requirements
- information systems
- discrete event
- neural network
- asynchronous circuits
- database
- industrial environment
- flight control