Browsing by Author "f6e18514-6087-44c8-875a-25c24e80fdc3"
Now showing items 1-1 of 1
-
Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia Meneses Cortés, Matías Ignacio (Universidad de Chile, 2018)La protección de la confidencialidad de la información manipulada por los programas computacionales es abordada a nivel del código fuente con distintas técnicas. Una de ellas es tipado de seguridad para el control de flujo, ...