

A, B, S :  principal 
Na, Ma, Nb, Mb :  number 
Kas, Kbs, Kab :  key 
Ta, Tb :  time 
1.  A  >  B  :  A, Na 
2.  B  >  S  :  B, {A, Na, Tb}Kbs, Nb 
3.  S  >  A  :  {B, Na, Kab, Tb}Kas, {A, Kab, Tb}Kbs, Nb 
4.  A  >  B  :  {A, Kab, Tb}Kbs, {Nb}Kab 
5.  A  >  B  :  Ma, {A, Kab, Tb}Kbs 
6.  B  >  A  :  Mb, {Ma}Kab 
7.  A  >  B  :  {Mb}Kab 
1.  I(A)  >  B  :  A, Na 
2.  B  >  I(S)  :  B, {A, Na, Tb}Kbs, Nb 
3.  omitted  
4.  I(A)  >  B  :  {A, Na, Tb}Kbs, {Nb}Na 
5.  I(A)  >  B  :  Ma, {A, Na, Tb}Kbs 
6.  B  >  I(A)  :  Mb, {Ma}Na 
7.  I(A)  >  B  :  {Mb}Na 
i.5.  I(A)  >  B  :  Ma, { A, Kab, Tb }Kbs 
i.6.  B  >  I(A)  :  Mb, {Ma}Kab 
ii.5.  I(A)  >  B  :  Mb, {A, Kab, Tb}Kbs 
ii.6.  B  >  I(A)  :  Mb', {Mb}Kab 
i.7.  I(A)  >  B  :  {Mb}Kab 
a.2.  I(B)  >  S  :  B, {A, K0ab, Tb}Kbs, Nb 
a.3.  S  >  I(A)  :  {B, Na, K1ab, Tb}Kas, {A, K1ab, Tb}Kbs, Nb 
b.2.  I(B)  >  S  :  B, {A, K1ab, Tb}Kbs, Nb 
b.3.  S  >  I(A)  :  {B, Na, K2ab, Tb}Kas, {A, K2ab, Tb}Kbs, Nb 
etc 

Previous Index Next 
