Computer Security - An Introduction, With Emphasis on Language-Based Methods
Martin Abadi
Department of Computer Science
UC Santa Cruz
Prerequisites: Some familiarity with computers and programming, and ease with
formal notation.
Summary: These lectures are an introduction to computer security and to the
role of formal models, logics, and programming calculi in that
area. Because of the breadth of the subject, the lectures are
deliberately partial. After an overview, the lectures stress the
application of powerful techniques originally developed in the study
of programming languages. In particular, these techniques play a
significant role in fine-grained program protection and in the
analysis of protocols for secure communication.
Course Notes:
Overview
Back to course listing.