Provable Security Under Virtualization

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

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

ประวัติรุ่น

  • เวอร์ชัน N/A โพสต์เมื่อ 2010-02-09
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2010-02-09

รายละเอียดหลักสูตร