Detalle del congreso

Autores: Cristiá, Maximiliano; Mata, Pablo.

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.

Tipo de reunión: Workshop.

Tipo de trabajo: Artículo Completo.

Producción: Runtime Enforcement of Noninterference by Duplicating Processes and their Memories.

Reunión científica: Workshop de Seguridad Informática WSEGI 2009 (38 JAIIO).

Lugar: Mar del Plata - Argentina.

Institución organizadora: Sociedad Argentina de Informática e Investigación Operativa.

Publicado: Sí

Lugar publicación: Mar del Plata

Mes de reunión: 12

Año: 2009.