1. Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. (9th February 2021) Authors: Karthick, Gayathri; Mapp, Glenford; Kammueller, Florian; Aiash, Mahdi Journal: Computational intelligence Issue: Volume 38:Number 3(2022) Page Start: 811 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗