Outline for February 1, 2002

Reading: ß4.5, ß5.1-5.3 (not including ß5.2.3, 5.3.1)

1.	Greetings and Felicitations!

2.	Puzzle of the day

3.	High-Level Policy Languages

a.	Characterization

b.	Example: DTEL

4.	Goals of Confidentiality Policies

5.	Bell-LaPadula Model with Levels Only

a.	Security Levels

b.	Simple Security Property

c.	*-Property

d.	Basic Security Theorem

6.	Bell-LaPadula Model

a.	Compartments

b.	BLP as lattice structure

c.	Simple Security Property

d.	*-Property

e.	Basic Security Theorem

7.	DG/UX B2 UNIX System

a.	Hierarchy of levels

b.	Labels, explicit and implicit

c.	MAC tuples