Nuprl Definition : ses-info-flow
->> == λe',e. ((↑e' ∈b Encrypt) ∧ (e has cipherText(e')))
Definitions occuring in Statement :
event-has: (e has a),
ses-crypt: cipherText(e),
ses-encrypt: Encrypt,
in-eclass: e ∈b X,
assert: ↑b,
and: P ∧ Q,
lambda: λx.A[x]
FDL editor aliases :
ses-info-flow
Latex:
->> == \mlambda{}e',e. ((\muparrow{}e' \mmember{}\msubb{} Encrypt) \mwedge{} (e has cipherText(e')))
Date html generated:
2015_07_23-PM-00_05_19
Last ObjectModification:
2012_08_30-PM-02_30_24
Home
Index