000 01569naa a2200229 a 4500
003 AR-LpUFIB
005 20250311170246.0
008 230201s2005 it o 000 0 eng d
024 8 _aDIF-M2605
_b2698
_zDIF002509
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aMedel, Ricardo H.
245 1 0 _aA typed assembly language for non-interference
490 0 _a^p Datos electrónicos (1 archivo : 162 KB)
500 _aFormato 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)
520 _aNon-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.
534 _aCTCS 2005 Ninth Italian Conference on Theoretical Computer Science Certosa di Pontignano (Siena), Springer-Verlag, LNCS, October 2005.
650 4 _aLENGUAJE ENSAMBLADOR
700 1 _aBonelli, Eduardo
700 1 _aCompagnoni, Adriana
856 4 0 _uwww.lifia.info.unlp.edu.ar/papers/2005/Compagnoni2005.pdf
942 _cCP
999 _c52388
_d52388