Programas por provablesecurit.sf.net

  • Provable Security Under Virtualization Gratis

    Seguridad comprobable en la virtualización: el proyecto trata de probar la seguridad del hipervisor. Antecedentes: La seguridad comprobable es un concepto que se utiliza cada vez más para proporcionar garantías rigurosas de q