Example: Intruder

interceptMessage:

<I:Intruder | knows:H > (A<-M)

=>

<I:Intruder | knows:H+(A<-M) >

fakeMessage:

<I:Intruder | knows:H+(A<-M) >

=>

<I:Intruder | knows:H+(A<-M) > (A<-M)

Previous slide

Next slide

Back to first slide

View graphic version