Login / Signup
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch.
Saber Mirzaei
Sanaz Bahargam
Richard Skowyra
Assaf J. Kfoury
Azer Bestavros
Published in:
CoRR (2016)
Keyphrases
</>
probabilistic model
network model
high level
probability distribution
prediction model
experimental data
statistical model
cooperative game
neural network model
computer networks
network traffic
complex networks
neural network
theoretical analysis
intrusion detection
similarity measure
learning algorithm