Provable Security Under Virtualization: Proyek ini tentang membuktikan keamanan hypervisor. Latar Belakang: Keamanan yang dapat diprovable adalah konsep yang semakin digunakan untuk memberikan jaminan yang ketat bahwa sistem memenuhi prop-erties keamanan speci ed. Mendesain
Riwayat versi
- Versi N/A diposting di 2010-02-09
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2010-02-09
Detil Program
- Kategori: Jaringan & Internet > Lain
- Penerbit: provablesecurit.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows