โปรแกรมตาม provablesecurit.sf.net

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