CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Runtime Enforcement of Noninterference by Duplicating Processes and their Memories
Autor/es:
CRISTIÁ, MAXIMILIANO; MATA, PABLO
Lugar:
Mar del Plata - Argentina
Reunión:
Workshop; Workshop de Seguridad Informática WSEGI 2009 (38 JAIIO); 2009
Institución organizadora:
Sociedad Argentina de Informática e Investigación Operativa
Resumen:
This paper presents a formal model for enforcing noninterference running one process of a program per level in the security lattice. The I/O effects of these processes are isolated from one another by restricting each processes to write only to output channels at the same or higher levels. This approach is intended to be implemented in general purpose operating systems. It is therefore more compatible with existing code. A Linux implementation is briefly described.
