Preserving confidentiality during the migration of virtual SDN topologies: A formal approach | IEEE Conference Publication | IEEE Xplore