CS 576 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. Also offered as CS 676 and may be taken only once for credit.