signer(e) == fst(snd(Verify(e)))
Definitions :
pi1: fst(t),
pi2: snd(t),
eclass-val: X(e),
ses-verify: Verify
FDL editor aliases :
ses-verify-signer
signer(e) == fst(snd(Verify(e)))
Date html generated:
2010_08_28-AM-01_50_57
Last ObjectModification:
2010_02_22-PM-12_19_24
Home
Index