https://mejorsoftware.info/blog Fri, 29 Oct 2021 20:19:19 +0000 es hourly 1 https://wordpress.org/?v=5.9.2 https://mejorsoftware.info/blog/es-posible-hacer-que-un-ordenador-sea-inhackeable/ Fri, 29 Oct 2021 20:19:19 +0000 http://mejorsoftware.info/blog/?p=18632 Teóricamente, sí, para una definición estrecha de "hackeable". Existe una rama de la seguridad informática llamada verificación formal. En la verificación formal, se definen ciertas propiedades de seguridad, como "los sitios web no pueden leer datos privados de otros sitios web en diferentes pestañas", y luego se demuestra matemáticamente que un programa no puede violarlas. Investigadores de la UC San …

]]>