Computer System Engineering

Week 11: Security Part I

Lecture 19: Availability via Replication

Lecture 19 Outline

1. Introduction
2. The Problem
3. Replicated State Machines (RSMs)
4. Primary/Backup Model
5. View Servers
6. View Servers in the Face of Network Partitions
7. Recruiting New Backups
8. Dealing with Centralization

• Detailed Outline

Lecture Slides

• Lecture 19 Slides: Atomicity via Logging (PDF)

Reading

• No assigned reading

Recitation 19: Raft

• Read “In Search of an Understandable Consensus Algorithm (PDF)” by D. Ongaro & J. Ousterhout
• Raft Assignment

Lecture 20: Introduction to Security

Lecture 20 Outline

1. Introduction
2. Computer Security vs. General Security
3. Difficulties of Computer Security
4. Modeling Security
5. Guard Model
6. What Can Go Wrong?

• Detailed Outline

Lecture Slides

• Lecture 20 Slides: Introduction to Security (PDF)

Reading

• Book section 11.1

Recitation 20: [No Recitation]

Tutorial 11: Design Project Peer Review

The focus of Tutorial 11 is peer review. You will read some portions of another team’s final design report (DPR) and offer feedback and insight. First, complete the Preparation for Tutorial 11 (PDF). Then, take a look at the Peer Review Assignment (PDF). See the Design Project section for more information.

Design Project (DP) Peer Review Assignment

• Assigned: Design Project (DP) Peer Review Assignment (PDF)