Automated synthesis of NFV topology: A security requirement-oriented design | IEEE Conference Publication | IEEE Xplore