Tarafından Programlar provablesecurit.sf.net

Provable Security Under Virtualization: Proje, hipervizörün güvenliğini kanıtlamakla ilgilidir. Amaç: Provable güvenlik giderek bir sistem speci ed güvenlik prop-erties karşılar titiz güvencesağlamak için kullanılan bir kavra