---

NSL-initiator3 ==
  A  B: (["new"(m); 
            
            "encrypt"(<<data(m), data(A)>, PublicKey(B), c>); "send"(data(c))]
          @ ["rcv"(data(c'))])
          @ ["decrypt"(<<data(m), <data(n), data(B)>>, PrivateKey(A), c'>); 
             
             "encrypt"(<data(n), PublicKey(B), d>); "send"(data(d))]

---

Definitions :  basic-seq-1-5: A  B: pas[A;B;m;n;x;y;z],  append: as @ bs,  sdata-pair: <d1, d2>,  id-sdata: data(x),  ses-private-key: PrivateKey(A),  pair: <a, b>,  ses-public-key: PublicKey(A),  cons: [car / cdr],  mk-pa: n(v),  token: "$token",  atom-sdata: data(a),  nil: []
FDL editor aliases :  NSL-initiator3

---

NSL-initiator3  ==
    A  {}\mrightarrow{}  B:  (["new"(m);  "encrypt"(<<data(m),  data(A)>,  PublicKey(B),  c>);  "send"(data(c))]
                    @  ["rcv"(data(c'))])
                    @  ["decrypt"(<<data(m),  <data(n),  data(B)>>,  PrivateKey(A),  c'>); 
                         
                          "encrypt"(<data(n),  PublicKey(B),  d>);  "send"(data(d))]


Date html generated: 2010_08_28-AM-11_50_46
Last ObjectModification: 2010_02_23-AM-11_08_49

Home Index