Foundations of Computer and Information Security. This covers the second part of the presentation of the formal Bell-LaPadula model and its application to Multics as an example. The class starts at 5:45 into the video.