A Matter of Trust: Verification of Security and Performance for Network Platform as a Service | IEEE Conference Publication | IEEE Xplore