// Clark and Jacob modified Hwang and Chen modified SPLICE/AS 
  
 S, C, AS :     principal                  
 N1, N2, N3 :   nonce                      
 T :            timestamp                  
 L :            lifetime                   
 pk, sk :       principal -> key (keypair) 
  
  
 1.   C  -> AS  :   C, S, N1                        
 2.   AS -> C   :   AS, {AS, C, N1, S, pk(S)}sk(AS) 
 3.   C  -> S   :   C, S, {T, L, {C, N2}pk(S)}sk(C) 
 4.   S  -> AS  :   S, C, N3                        
 5.   AS -> S   :   AS, {AS, S, N3, C, pk(C)}sk(AS) 
 6.   S  -> C   :   S, C, {inc(N2)}pk(C)            
   
 // 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).