การรักษาความปลอดภัยที่พิสูจน์ได้ภายใต้การจําลองเสมือน: โครงการเกี่ยวกับการพิสูจน์ความปลอดภัยของไฮเปอร์ไวเซอร์ พื้นหลัง: การรักษาความปลอดภัยที่ขับเคลื่อนได้เป็นแนวคิดที่ใช้มากขึ้นเพื่อให้การรับรองอย่างเข้มงวดว่าระบบตรงตามเสารักษาความปลอดภัย speci ed - erties ออกแบบ
ประวัติรุ่น
- เวอร์ชัน N/A โพสต์เมื่อ 2010-02-09
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2010-02-09
รายละเอียดหลักสูตร
- ประเภท: เครือข่ายและอินเทอร์เน็ต > อื่นๆ
- Publisher: provablesecurit.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: windows