Outline for May 1, 2013
Reading
: §7.4, 8.1–8.2, [WB04] (This is available in the Resources area of SmartSite; look in the folder “Handouts”)
Due
: Homework #3, due May 10, 2013
DRM
Traducement
Problem and Goals
Definitions
Rules
Security for states and transitions
Application
Role-based Access Control (RBAC)
Definition of role
Partitioning as job function
Containment
Problem with instantiation of Bell-LaPadula Model
Covert channel example: what is “writing”?
Composition of lattices
Principles of autonomy and security
Deterministic noninterference
Model of system
Example
Relationship of output to states
Projections and purge functions
You can also obtain a PDF version of this.
Version of April 29, 2013 at 7:44PM