|
|
| ACADEMICS: Course List - CS4605 |
CS4605: Security Policies, Models, and Formal Methods (3-1)
Instructors: Irvine, Dinolt
This course covers the methods used to specify, model and verify the access control mechanisms of computational systems. The identification of the security policy and its interpretation in terms of a technical policy is covered. Several security policy and access-control models are explored.
PREREQUISITES: MA3025, CS3600, CS3651
|
|
|
