---

Action(e) ==
  (e  New)
   (e  Send)
   (e  Rcv)
   (e  Encrypt)
   (e  Decrypt)
   (e  Sign)
   (e  Verify)

---

Definitions :  ses-new: New,  ses-send: Send,  ses-rcv: Rcv,  ses-encrypt: Encrypt,  ses-decrypt: Decrypt,  or: P  Q,  ses-sign: Sign,  assert: b,  in-eclass: e  X,  ses-verify: Verify
FDL editor aliases :  ses-action

---

Action(e)  ==
    (\muparrow{}e  \mmember{}\msubb{}  New)
    \mvee{}  (\muparrow{}e  \mmember{}\msubb{}  Send)
    \mvee{}  (\muparrow{}e  \mmember{}\msubb{}  Rcv)
    \mvee{}  (\muparrow{}e  \mmember{}\msubb{}  Encrypt)
    \mvee{}  (\muparrow{}e  \mmember{}\msubb{}  Decrypt)
    \mvee{}  (\muparrow{}e  \mmember{}\msubb{}  Sign)
    \mvee{}  (\muparrow{}e  \mmember{}\msubb{}  Verify)


Date html generated: 2010_08_28-AM-02_06_13
Last ObjectModification: 2010_02_22-PM-01_54_38

Home Index