CS 676 Computer Security

Introduction to the principles of computer security. Development of the notion of security through formal models and the examination of existing secure systems. Systems intended for the protection of classified information as well as commercial systems will be examined.