CIS 798, Fall 2005

Cybersecurity


Course Goals

This course is about computer security. The primary goals of the course are: Broadly, this course will teach the fundamentals of computer security and look at applications in networks and distributed systems and in providing high assurance systems via the verification of security policies.

Textbook

The following texts and websites are recommended.

Captain's log and reading list

Instructors and course meeting times

Instructors:
Dan Andresen, Anindya Banerjee, Gurdip Singh and Virg Wallentine.
Meeting time:
Tuesdays, 3:55-5:10 pm, in the conference room (N236).

Prerequisites

List of topics (preliminary)

There will be four sections in the course: Foundations, Language-based Security, Systems Security and Network and Distributed Systems Security. Click here for the major topics to be presented. Note that this list is preliminary and is subject to change without notice.

Grading