CS4605 Security Policies, Models and Formal Methods

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.

Prerequisite

CS3150, CS3600, CS3101

Lecture Hours

3

Lab Hours

1