Foundations of Computer and Information Security. This covers non-transitive and non-lattice policies, and part of compiler information flow certification. The class starts at 6:15 into the video.
Foundations of Computer and Information Security. This covers lattices and the lattice presentation of the Bell-LaPadula model The class starts at 8:48 into the video.