Issue No. 05 - October (1995 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.469837
<p><it>Abstract</it>—Common security models such as Bell-LaPadula focus on the control of access to sensitive data but leave some important systems issues unspecified, such as the implementation of read-only objects, garbage collection, and object upgrade and downgrade paths. Consequently, different implementations of the same security model may have conflicting operational and security semantics. We propose the use of more expressive security labels for specifying these system issues within the security model, so that the semantics of a system design are precisely understood and are independent of implementation details.</p>
Data security, garbage collection, multilevel security, object label, read-only object.
X. Qian and L. Gong, "Enriching the Expressive Power of Security Labels," in IEEE Transactions on Knowledge & Data Engineering, vol. 7, no. , pp. 839-841, 1995.