---

NSL-responder3 ==
  B  A: (["rcv"(data(c)); 
            
            "decrypt"(<<data(m), data(A)>, PrivateKey(B), c>);
             
            "new"(n);
             
            "encrypt"(<<data(m), <data(n), data(B)>>, PublicKey(A), c'>);
             
            "send"(data(c'))]
          @ ["rcv"(data(d))])
          @ ["decrypt"(<data(n), PrivateKey(B), 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-public-key: PublicKey(A),  cons: [car / cdr],  mk-pa: n(v),  token: "$token",  atom-sdata: data(a),  pair: <a, b>,  ses-private-key: PrivateKey(A),  nil: []
FDL editor aliases :  NSL-responder3

---

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


Date html generated: 2010_08_28-AM-11_50_51
Last ObjectModification: 2010_02_23-AM-11_08_57

Home Index