Normal view MARC view ISBD view

A typed assembly language for non-interference

By:

Medel, Ricardo H

Contributor(s):

Material type: Article

ArticleSeries: ^p Datos electrónicos (1 archivo : 162 KB)Subject(s):

LENGUAJE ENSAMBLADOR

Online resources:

Click here to access online

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Call number	URL	Status	Date due
Capítulo de libro	Biblioteca de la Facultad de Informática	Biblioteca digital	A0104 (Browse shelf(Opens below))	Link to resource	No corresponde

Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0101 Simplifying and solving qualified types for principal type specialisation	A0102 Symmetric monoidal completions and the exponential principle among labeled combinatorial structures	A0103 Principal type specialisation	A0104 A typed assembly language for non-interference	A0105 A characterization of the left exact categories whose exact completions are toposes	A0106 Cocomplete toposes whose exact completions are toposes	A0107 Combinatorial functional and differential equations applied to differential posets	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 06/03/2009)

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.

CTCS 2005 Ninth Italian Conference on Theoretical Computer Science Certosa di Pontignano (Siena), Springer-Verlag, LNCS, October 2005.