Database Reference
In-Depth Information
Get the label as input
parameter for the procedure
Break label into parts
Return the first part that has
a belief value equal to true
End
Figure 3.15
Flow chart for Pl (label) procedure in a belief-consistent model.
Get the label as input
parameter for the procedure
Break label into parts
Exclude primary level
Return the rest of the label
End
Figure 3.16
Flow chart for Sl (label) procedure in a belief-consistent model.
3.6.1.3 Sl (Label) Procedure This procedure returns the secondary
level of the security label [34]—for example, L = ucs, Sl(L) = cs.
• Step 1: get the label as input parameter for the procedure.
• Step 2: break the label into parts.
• Step 3: exclude the primary level.
• Step 4: return the rest.
Figure 3.16 illustrates the flow chart for the Sl (label) procedure in the
belief-consistent model.
 
Search WWH ::




Custom Search