A Secure Programming Paradigm for Network Virtualization | IEEE Conference Publication | IEEE Xplore