Non-interference for a typed assembly language

Título:

Non-interference for a typed assembly language

Autor:

Medel, Ricardo H.

Colaboradores:

; Bonelli, Eduardo; Compagnoni, Adriana

Temas:

SISTEMAS OPERATIVOSCONTROL DE FLUJO DE INFORMACIÓNSEGURIDAD Y PROTECCIÓNLENGUAJE ENSAMBLADOR

En:

Foundations of Computer Security International Workshop, satellite event of LICS05, IEEE Computer Society, June 2005.

Resumen:

Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The challenge of studying information flow for assembly languages is that the control flow constructs that guide the analysis in high-level languages are not present. To address this problem, we define a typed assembly language that uses pseudo-instructions to impose a stack discipline on the control flow of programs. We develop a type system for checking that assembly programs enjoy non-interference and its proof of soundness.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Idioma:

Inglés

Publicación:

, 2005

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

Ver estantes