Login / Signup
TenantGuard: Scalable Runtime Verification of Cloud-Wide VM-Level Network Isolation.
Yushun Wang
Taous Madi
Suryadipta Majumdar
Yosr Jarraya
Amir Alimohammadifar
Makan Pourzandi
Lingyu Wang
Mourad Debbabi
Published in:
NDSS (2017)
Keyphrases
</>
virtual machine
computer networks
model checking
application level
levels of abstraction
network topologies
network management
network model
cloud computing environment
web scale
network structure
higher level
wide range
data center
computing platform
cloud computing
asynchronous circuits