// SK3 A, B, S, Ca, Cb : principal Ka, Kb : symkey Kac, Kbc : symkey Na, Nb : nonce 0,1,2 : number alias Kab = {A, 0}Kb alias Pab = Kab + {B, 1}Ka 1. A -> S : A, B 2. S -> A : Pab, {Pab, B, 2}Ka 3. A -> Ca : A 4. Ca -> A : Na, {Na, 1, 1}Kac 5. A -> B : A, Na 6. B -> Cb : A, Na 7. Cb -> B : Nb, {Nb, 0, 0}Kab, {Na, Nb, 1}Kab, {Nb, 0, 1}Kab 8. B -> A : Nb, {Na, Nb, 1}Kab 9. A -> Ca : B, Na, Nb, Pab, {Pab, B, 2}Ka, {Na, Nb, 1}Kab, {Nb, 0, 1}Kab 10. Ca -> A : {Nb, 0, 0}Kab, {Nb, 0, 1}Kab 11. A -> B : {Nb, 0, 1}Kab // 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).