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