What happened to formal methods for security? - Schaffer, Kim; Voas, Feffrey (2016)
Keywords: SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN; SEGURIDAD (INFORMATICA); ALMACENAMIENTO DE INFORMACION; GESTIÓN DE LA INFORMACIÓN; CALIDAD