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 |