

A,B,S :  Principal 
Na,Nb :  Nonce 
KPa,KPb,KPs,KSa,KSb,KSs :  Key 
KPa,KSa :  is a key pair 
KPb,KSb :  is a key pair 
KPs,KSs :  is a key pair 
1.  A  >  S  :  A,B 
2.  S  >  A  :  {KPb, B}KSs 
3.  A  >  B  :  {Na, A}KPb 
4.  B  >  S  :  B,A 
5.  S  >  B  :  {KPa, A}KSs 
6.  B  >  A  :  {Na, Nb}KPa 
7.  A  >  B  :  {Nb}KPb 
i.3.  A  >  I  :  {Na,A}KPi 
ii.3.  I(A)  >  B  :  {Na,A}KPb 
ii.6.  B  >  I(A)  :  {Na,Nb}KPa 
i.6.  I  >  A  :  {Na,Nb}KPa 
i.7.  A  >  I  :  {Nb}KPi 
ii.7.  I(A)  >  B  :  {Nb}KPb 

Previous Index Next 
