近年来,云计算在技术发展和市场应用方面都取得巨大进步,虚拟化是一项支撑云计算高可靠、高安全、高弹性指标的基础技术。虚拟化可以充分利用硬件资源、提高服务的运行效率和可靠性,但也会产生共享、互联的安全风险,特别是专有硬件的虚拟化和动态迁移对云计算平台提出了更高要求。通过分析密码卡虚拟化和动态迁移问题,深入研究虚拟密码卡迁移流程的访问控制机制。多虚拟密码卡动态迁移问题在学术界和工业应用中都具有重要研究价值。多虚拟密码卡动态迁移安全问题包括迁移参与方身份可信性,迁移前后加密现场的一致性,迁移数据的安全性。通过改进RBAC和BLP模型,设计多虚拟密码卡动态迁移访问控制模型,在用户身份认证、虚拟机多安全级划分、密码卡迁移流程控制和迁移数据流保护等方面提供安全保障。模型解决三个问题,首先是多虚拟密码卡状态保存和恢复,利用Virt-io虚拟多个密码卡设备的迁移过程;其次是迁移流程的安全防护,利用认证和协商机制确保迁移参与方的身份合法性,利用加密协议保证迁移数据的安全性;最后是迁移流程的访问控制,设计了安全模型指导迁移流程的系统方案,将迁移各阶段系统状态抽象映射到安全模型的状态转移规则,保证系统运行状态的安全性。通过理论分析证明了访问控制模型和认证协议的安全性,通过实验模拟了多虚拟密码卡动态迁移在安全模型指导下的流程,并对比无防护机制的迁移开销,得出安全模型具有较低的性能开销,使得本文的工作具有实用性和可行性。