Login / Signup
Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.
Fabien Charmet
Richard Waldinger
Gregory Blanc
Christophe Kiennert
Khalifa Toumi
Published in:
NCA (2017)
Keyphrases
</>
formal specification
virtual environment
formal model
augmented reality
virtual reality
virtual world
access control
process algebra
data sets
neural network
formal models
network topologies
image details
formal languages
data migration