Nuprl Definition : event-has
(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 occuring in Statement :
ses-decrypt: Decrypt,
ses-encrypt: Encrypt,
ses-verify: Verify,
ses-sign: Sign,
ses-rcv: Rcv,
ses-send: Send,
ses-new: New,
encryption-key: Key,
sdata: SecurityData,
class-value-has: X(e) has a,
Id: Id,
atom: Atom$n,
or: P ∨ Q,
product: x:A × B[x]
FDL editor aliases :
event-has
Latex:
(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:
2016_05_17-AM-11_46_28
Last ObjectModification:
2012_08_30-PM-02_30_22
Theory : event-logic-applications
Home
Index