Access control, delegation, and revocation in distributed systems. Security architectures, multilevel systems, and security management and monitoring. Study of formal mathematical models for computer security. Mathematical properties of these models are identified and analyzed. Current topics of advanced research in computer security.
Content varies depending on faculty interests, research developments, and student demand.
The seminar format requires substantial student participation. Representative topics include formal models for computer security, multilevel data models, multilevel database management system architectures, secure concurrency control protocols, distributed secure system architectures, integrity models and mechanisms, security policy, and requirements analysis.