Provable Security Under Virtualization

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 3.0/5 - ‎1 ‎โหวต

เกี่ยวกับ Provable Security Under Virtualization

การรักษาความปลอดภัยที่พิสูจน์ได้ภายใต้การจําลองเสมือน: โครงการเกี่ยวกับการพิสูจน์ความปลอดภัยของไฮเปอร์ไวเซอร์ พื้นหลัง: การรักษาความปลอดภัยที่ขับเคลื่อนได้เป็นแนวคิดที่ใช้มากขึ้นเพื่อให้การรับรองอย่างเข้มงวดว่าระบบตรงตามเสารักษาความปลอดภัย speci ed - erties ออกแบบ