CISR Logo CISR


Center of Academic Excellence

CISR - CS4605
  Academics: Courses: 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: CS3150, CS3600, CS3101.




















Home / Webmaster / Privacy Policy / FOIA / Sitemap / NPS
This U.S. Government Web Site is provided by the Naval Postgraduate School's Center for Information Systems Security Studies and Research for official information regarding CISR's programs and research.