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.


CS3150, CS3600, CS3101

Lecture Hours


Lab Hours