470 likes | 599 Views
2. Overview. Review and backgroundReview - latticesMilitary systems and Denning's AxiomsBell-LaPadula (BLP) PolicyStep 1
E N D
1. 1 ISA 662 Information System Security Confidentiality Policies
Chapter 5
2. 2 Overview Review and background
Review - lattices
Military systems and Denning’s Axioms
Bell-LaPadula (BLP) Policy
Step 1 – clearance/classification
Step 2 – categories
Example System – DG/UX
Tranquility
Controversy at a glance
3. 3 POsets Definition: A Poset (short hand for Partially Ordered Set) is a pair (A,<) where A is a set < is a partial order. That is < is reflexive: x<x for xeA < is transitive: x<y and y<z ?x<z for all x,y,zeA < is anti-symmetric: x<y and y<x ?x=y for all x,yeA Example: A B C D E < is a total order iff x<y ?x,yeA