Intro 1 Introduction Intro 2 Good Guys and Bad Guys Alice and Bob are the good guys Trudy is the bad guy Trudy is our generic “intruder”