A digital forensic model for introspection of virtual machines in cloud computing | IEEE Conference Publication | IEEE Xplore