B -> A: B, {Nb}Pka
A -> B: A, {Na}PKb
T in P;
Says B’ A {B, Crypt (pubK A) Nonce Nb} in set T;
Nonce Na notin used(T)
=>
(Says A B {A, Crypt(pubK B) Nonce Na} # T) in P
| Previous slide | Next slide | Back to first slide | View graphic version |