On Thu, 17 Feb 2005, Juan Espino wrote:
SELinux enforces a Mandatory Access Control (MAC) Policy based on Bell and
Lapadula Model. I understand the read control property (no read up) and the
write control (no write down), but in this model there are another property
called tranquility property, I don't know very well how SELinux enforces
SELinux includes an experimental MLS implementation based on BLP. This
feature is not currently enabled in Fedora.
Thus, it may be better to discuss the MLS component on the NSA list: