Lecture 09: Foundations and Systems - Bell-LaPadula Model