A quantitative security metric model for security controls: Secure virtual machine migration protocol as target of assessment | IEEE Journals & Magazine | IEEE Xplore