Programas por provablesecurit.sf.net

  • Provable Security Under Virtualization Livre

    Segurança Comprovada sob virtualização: O projeto é sobre provar a segurança do hipervisor. Histórico: A segurança comprovada é um conceito cada vez mais utilizado para fornecer garantias rigorosas de que um sistema atende a