面向访问验证保护级的安全VMM形式化原型系统设计和实现
면향방문험증보호급적안전VMM형식화원형계통설계화실현
Formal Secure VMM Prototype Towards Level Verified Design
저자의 최근 논문