SE547: Lecture 8 (Presentations)

Contents [0/1]

: [1/1]

: [1/1] 

  1. Andy - Proof Carrying Code
  2. Mike - Proof Carrying Authentication
  3. Peter - Quantitative information flow

Revised: 2006/05/17 14:10