Kerberos 4/6
1) C ---> AS : U,TGS,L1,N1
2) AS ---> C : U,Tc,tgs,{TGS,K,Tstart,Texpire,N1}Ku
3) C ---> TGS : S,L2,N2,Tc,tgs,Ac,tgs
4) TGS ---> C : U,Tc,s,{S,K',T'start,T'expire,N2}K
Tc,tgs = {U,C,TGS,K,Tstart,Texpire}Ktgs Ac,tgs = {C,T}K
Tc,s = {U,C,S,K',T'start,T'expire}Ks Ac,s = {C,T'}K'