TVPDc: A Model for Secure Managing Virtual Infrastructure in IaaS Cloud | IEEE Conference Publication | IEEE Xplore