---

SES ==
  Info:Type
   New:EClass(Atom1)
   Send:EClass(SecurityData)
   Rcv:EClass(SecurityData)
   Encrypt:EClass(SecurityData  Key  Atom1)
   Decrypt:EClass(SecurityData  Key  Atom1)
   Sign:EClass(SecurityData  Id  Atom1)
   Verify:EClass(SecurityData  Id  Atom1)
   Honest:Id  
   KeyRel:Key  Key  
   PrivKey:Id  Atom1
   Top

---

Definitions :  universe: Type,  eclass: EClass(A[eo; e]),  sdata: SecurityData,  encryption-key: Key,  bool: ,  product: x:A  B[x],  function: x:A  B[x],  Id: Id,  atom: Atom$n,  top: Top
FDL editor aliases :  security-event-structure

---

SES  ==
    Info:Type
    \mtimes{}  New:EClass(Atom1)
    \mtimes{}  Send:EClass(SecurityData)
    \mtimes{}  Rcv:EClass(SecurityData)
    \mtimes{}  Encrypt:EClass(SecurityData  \mtimes{}  Key  \mtimes{}  Atom1)
    \mtimes{}  Decrypt:EClass(SecurityData  \mtimes{}  Key  \mtimes{}  Atom1)
    \mtimes{}  Sign:EClass(SecurityData  \mtimes{}  Id  \mtimes{}  Atom1)
    \mtimes{}  Verify:EClass(SecurityData  \mtimes{}  Id  \mtimes{}  Atom1)
    \mtimes{}  Honest:Id  {}\mrightarrow{}  \mBbbB{}
    \mtimes{}  KeyRel:Key  {}\mrightarrow{}  Key  {}\mrightarrow{}  \mBbbB{}
    \mtimes{}  PrivKey:Id  {}\mrightarrow{}  Atom1
    \mtimes{}  Top


Date html generated: 2010_08_28-AM-01_49_44
Last ObjectModification: 2010_02_22-PM-01_23_17

Home Index