Optimal resource allocation for survivable virtual infrastructures | IEEE Conference Publication | IEEE Xplore