Computer Security - CSC 636

This is a graduate course on computer security. The emphasis is on formal model and the foundations of computer security. Topics include: access control and protection models. Security, confidentiality and integrity policies are also discussed and representative models, such as Bell-LaPadula, Biba and Chinese wall are chosen as examples. Information flow, auditing, and vulnerability analysis are also covered.