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)