// Shamir-Rivest-Adleman Three Pass Protocol 
  
 A, B :     principal    
 Ka, Kb :   symkey       
 M :        fresh number 
  
  
 1.   A -> B  :   {M}Ka     
 2.   B -> A  :   {{M}Ka}Kb 
 3.   A -> B  :   {M}Kb     
   
 // Security Protocols Open Repository 
 // http://www.lsv.ens-cachan.fr/spore 
   
-----------------------------------------------------------------------
  
   
              This document was translated from LaTeX by HeVeA
              (http://pauillac.inria.fr/~maranget/hevea/index.html).