A typed assembly language for non-interference

Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages360-374
Number of pages15
DOIs
StatePublished - 2005
Event9th Italian Conference on Theoretical Computer Science, ICTCS 2005 - Siena, Italy
Duration: 12 Oct 200514 Oct 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3701 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th Italian Conference on Theoretical Computer Science, ICTCS 2005
Country/TerritoryItaly
CitySiena
Period12/10/0514/10/05

Fingerprint

Dive into the research topics of 'A typed assembly language for non-interference'. Together they form a unique fingerprint.

Cite this