Comp 527: Computer Systems Security

Dan Wallach, Department of Computer Science, Rice University Fall 2000

Are you looking for the current Comp527 Web page?

This class will focus on computer security in real systems. We will cover theory and practice for the design of secure systems (formal modelling, hardware and compiler-enforced safety, software engineering processes, tamper-resistant and tamper-reactive hardware, firewalls, cryptography, and more). We will also discuss how and why each of these techniques fail.

There will be reading assigned before every class, usually chapters from the book or papers available online somewhere. You're expected to read them.

Course syllabus, grading policies, final project.

Homework 2 is now available

Please enroll online for the class as well.

Required textbook

Computer Security Dieter Gollmann John Wiley & Sons Paperback - 350 pages (February 1999)

If you have trouble getting the book locally, you can always try buying it at Amazon.com, Bookpool, or any other reseller you might like.

Pre-requisites

Class meetings

Office hours

You can also send e-mail to either of us to arrange an appointment.

Other security classes

• U.C. Berkeley CS261: Computer Security
• Princeton CS496: Information Security
• Avi Rubin's big list of crypto and security classes

Accomodations