

A, B, S, Ca, Cb :  principal 
Ka, Kb :  symkey 
Kac, Kbc :  symkey 
Na, Nb :  nonce 
0,1,2 :  number 
alias Kab = {A, 0}Kb  
alias Pab = Kab + {B, 1}Ka 
1.  A  >  S  :  A, B 
2.  S  >  A  :  Pab, {Pab, B, 2}Ka 
3.  A  >  Ca  :  A 
4.  Ca  >  A  :  Na, {Na, 1, 1}Kac 
5.  A  >  B  :  A, Na 
6.  B  >  Cb  :  A, Na 
7.  Cb  >  B  :  Nb, {Nb, 0, 0}Kab, {Na, Nb, 1}Kab, {Nb, 0, 1}Kab 
8.  B  >  A  :  Nb, {Na, Nb, 1}Kab 
9.  A  >  Ca  :  B, Na, Nb, Pab, {Pab, B, 2}Ka, {Na, Nb, 1}Kab, {Nb, 0, 1}Kab 
10.  Ca  >  A  :  {Nb, 0, 0}Kab, {Nb, 0, 1}Kab 
11.  A  >  B  :  {Nb, 0, 1}Kab 
i.5.  A  >  B  :  A, Na 
ii.5.  I(A)  >  B  :  A, Na' 
ii.6.  B  >  Cb  :  A, Na' 
ii.7.  Cb  >  B  :  Nb', {Nb', 0, 0}Kab, {Na', Nb', 1}Kab, {Nb', 0, 1}Kab 
ii.8.  B  >  A  :  Nb', {Na', Nb', 1}Kab 
iii.5.  A  >  I(B)  :  A, Na' 
iii.8.  I(B)  >  A  :  Nb', {Na', Nb', 1}Kab 

Previous Index Next 
