

A, B, S :  principal 
Kas, Kbs, Kab :  key 
T :  timestamp 
1.  A  >  S  :  A, B 
2.  S  >  A  :  {B, Kab, T, {Kab, A, T}Kbs}Kas 
3.  A  >  B  :  {Kab,A, T}Kbs 
i.1.  A  >  S  :  A, B 
i.2.  S  >  A  :  {B, Kab, T, {Kab, A, T}Kbs}Kas 
i.3.  A  >  B  :  {Kab,A, T}Kbs 
ii.3.  I(A)  >  B  :  {Kab,A, T}Kbs 

Previous Index Next 
