Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia
Ingeniero Civil en Computación === 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, que controla el nivel de seguridad donde...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | es |
| Published: |
Universidad de Chile
2019
|
| Subjects: | |
| Online Access: | http://repositorio.uchile.cl/handle/2250/168368 |