

A, B, S :  principal 
shared :  (principal, principal):key 
Nb :  nonce 
1..  A  >  B  :  A 
2..  B  >  A  :  Nb 
3..  A  >  B  :  {A,B,Nb}shared(A, S) 
4..  B  >  S  :  {A, B, Nb, {A, B, Nb}shared(A, S)}shared(B, S) 
5..  S  >  B  :  {A, B, Nb}shared(B, S) 

Previous Index Next 
