---

(e has a) ==
  New(e) has a
   Send(e) has a
   Rcv(e) has a
   Encrypt(e) has a
   Decrypt(e) has a
   Sign(e) has a
   Verify(e) has a

---

Definitions :  ses-new: New,  ses-send: Send,  ses-rcv: Rcv,  ses-encrypt: Encrypt,  ses-decrypt: Decrypt,  encryption-key: Key,  or: P  Q,  ses-sign: Sign,  class-value-has: X(e) has a,  ses-verify: Verify,  sdata: SecurityData,  product: x:A  B[x],  Id: Id,  atom: Atom$n
FDL editor aliases :  event-has

---

(e  has  a)  ==
    New(e)  has  a
    \mvee{}  Send(e)  has  a
    \mvee{}  Rcv(e)  has  a
    \mvee{}  Encrypt(e)  has  a
    \mvee{}  Decrypt(e)  has  a
    \mvee{}  Sign(e)  has  a
    \mvee{}  Verify(e)  has  a


Date html generated: 2010_08_28-AM-02_06_38
Last ObjectModification: 2010_02_22-PM-02_02_11

Home Index