Login / Signup
Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.
Ehab Al-Shaer
Wilfredo Marrero
Adel El-Atawy
Khalid Elbadawi
Published in:
ICNP (2009)
Keyphrases
</>
end to end
network configuration
congestion control
wireless ad hoc networks
quality of service
neural network
internet protocol
packet loss rate
transport layer
high bandwidth
admission control
ad hoc networks
attack graph
real time
application layer
state space
network monitoring
information systems