|
|
| ACADEMICS: Course List - CS4600 |
CS4600: Secure Systems (3-2)
Instructors: Irvine, Dinolt
This course covers the implementation of protection for monolithic and distributed secure computer systems. The problems of subversion and confinement in highly secure components are addressed by lifecycle assurance methodologies. Topics include: protection hardware, the implementation of virtual machines through effective memory management techniques, synchronization mechanisms, critical sections, SWE methodologies, and configuration management techniques.
PREREQUISITES: CS3600, CS3070
|
|
|