cipherText(e) ==  snd(snd(Decrypt(e)))
Definitions : 
pi2: snd(t), 
eclass-val: X(e), 
ses-decrypt: Decrypt
FDL editor aliases : 
ses-cipher
cipherText(e)  ==    snd(snd(Decrypt(e)))
Date html generated:
2010_08_28-AM-02_05_02
Last ObjectModification:
2010_02_22-PM-01_50_35
Home
Index