Simple security property (source code)

= Simple security property
{title2=$f_O(o)\le f_S(s)$}

The <Bell-LaPadula model> restriction that a readable object's classification must not exceed the subject's maximum clearance.