Login / Signup
Formal Network Models and Their Application to Firewall Policies.
Achim D. Brucker
Lukas Brügger
Burkhart Wolff
Published in:
Arch. Formal Proofs (2017)
Keyphrases
</>
network traffic
fully connected
probabilistic model
experimental data
statistical models
analytical models
formal models
model driven
network architecture
formal model
reinforcement learning
data mining
neural network
network structure
data sets
optimal policy
model selection