⑴注意,MLS安全上下文一定至少有一个安全层(该安全层是由一个单独的敏感度和个或者是多个目录组成,但是能够包含两个安全层。这两个安全层分别被称作低层(或者是当前进程层和高层(进程间隙,如果高安全层丢失了,那么他就被认为是和低层(通常情况下是一样的。特别的,对于大多数客体和进程来说,低安全层和高安全层通常是一样的。一系列的安全层被用于可信任的主体(也就是可以信赖的能够降密信息的主体和多层客体,例如可能包含不同安全层的客体的目录。为了纵观这个点,我们假设所有的进程和客体都只有单一的安全层。
⑵访问客体的MLS规则和在第一章节中讨论的一样,除了安全层不是分层的而是受支配关系支配的。不相平等关系中一层要低于或者是高于另外一层,在支配关系中,存在一个称作无比的第四状态(也被称作不可比的。请在下面的列表中查看不可比(inp的定义。导致安全层和支配相关而不是和平等关系相关的原因就是目录。,目录与另外一个目录是没有层次关系的。因此,下面列出了能够将两个MLS安全层相联系的四个支配操作符:
⑶dom: (dominateSL dom SL,如果SL的灵敏度要比SL的灵敏度高或者是相等,并且SL的目录是SL目录的超级集合。
⑷domby (dominated bySL domby SL,如果SL的灵敏度要低于SL的灵敏度或者是 和SL相等,同时,SL的目录是SL目录的子集。
⑸eq: (equalsSL eq SL,如果SL的灵敏度和SL的灵敏度相同,并且SL的目录 和SL的目录是同一个集合。
⑹inp: (inparable 或者是 nonparableSL inp SL,如果SL的目录和SL的目录是不可比的(也就是,两个谁也不是谁的子集
⑺给定域关系,Bell-La Padula模型的一个变种在SELinux中被实现,一个进程能够“读”一个客体,如果,该进程的当前安全层能够支配客体的安全层,并且能够“写”一个客体,如果进程的安全层是被客体的安全层支配的话。(因此当且仅当两个安全层是相等的时候,才既能读,又能写。
⑻正是因为SELinux有了多重的安全机制,所以越来多政府部门和大公司使用SELinux系统的服务器,以保障信息的安全。