Information flow analysis for a typed assembly language with polymorphic stacks

Bonelli, Eduardo

Título:
Information flow analysis for a typed assembly language with polymorphic stacks
Autor:
Bonelli, Eduardo
Colaboradores:
Compagnoni, AdrianaMedel, Ricardo H.
Temas:
LENGUAJE ENSAMBLADORCONTROL DE FLUJO DE INFORMACIÓNSISTEMAS OPERATIVOSSEGURIDAD Y PROTECCIÓN
En:
Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05).EN: G. Barthe et al. (Eds.): CASSIS 2005, LNCS 3956, pp. 37–56, 2006. Springer-Verlag, Berlin-Heidelberg, 2006.
Resumen:
We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system by proving non-interference. One of the problems of studying information flow for a low-level language is the absence of high-level control flow constructs that guide information flow analysis in high-level languages. Furthermore, in the presence of an execution stack, code that frees space on the stack must be constrained in order to avoid illegal flows. Finally, in the presence of stack polymorphism, we must ensure that type variables are instantiated without observable differences. These issues are addressed by introducing junction points into the type system, ensuring that they behave as ordered linear continuations, and that they interact safely with the execution stack. We also discuss several limitations of our approach and point out some remaining open issues.
URL/DOI:
Medio:
Soporte electrónico
Tipo de documento:
Artículo
Idioma:
Inglés
Publicación:
, 2006

Puede solicitar más fácilmente el ejemplar con: A0050

Ver estantes

La edición contiene los siguientes documentos electrónicos para descargar:

En este momento no hay ningún ejemplar disponible.


Disponibilidad Actual Para Préstamo: 0 Disponibilidad Actual Para Sala de Lectura: 0 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0

Valoración


Comentarios (0)