द्वारा कार्यक्रम provablesecurit.sf.net

वर्चुअलाइजेशन के तहत साध्य सुरक्षा: परियोजना हाइपरवाइजर की सुरक्षा साबित करने के बारे में है। पृष्ठभूमि: साध्य सुरक्षा एक अवधारणा है जिसका उपयोग कठोर आश्वासन प्रदान करने के लिए तेजी से किया जाता है कि एक प्रणाली स्पेसी एड सुर