On this page:
1.1 Tuesday, August 25
1.2 Thursday, August 27
7.3

1 Week 1: Intro, Datalog, and Horn SAT

1.1 Tuesday, August 25

Broad course introduction. Also: talking about this classic paper, which defines an extensional notion of security via noninterference:

Security Policies and System Models

1.2 Thursday, August 27

Introduction to Datalog and Horn-SAT. We will cover this classic paper:

What You Always Wanted to Know About Datalog (And Never Dared to Ask)