TY - GEN
T1 - A typed assembly language for non-interference
AU - Medel, Ricardo
AU - Compagnoni, Adriana
AU - Bonelli, Eduardo
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33646201525&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33646201525&partnerID=8YFLogxK
U2 - 10.1007/11560586_29
DO - 10.1007/11560586_29
M3 - Conference contribution
AN - SCOPUS:33646201525
SN - 3540291067
SN - 9783540291060
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 360
EP - 374
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - 9th Italian Conference on Theoretical Computer Science, ICTCS 2005
Y2 - 12 October 2005 through 14 October 2005
ER -