Optimization Model for Backup Resource Allocation in Middleboxes | IEEE Conference Publication | IEEE Xplore