SecurityTheory == ses:SES 
A:SecurityAxioms Top
Definitions :
security-event-structure: SES,
product: x:A B[x],
ses-axioms: SecurityAxioms,
top: Top
FDL editor aliases :
security-theory
SecurityTheory == ses:SES \mtimes{} A:SecurityAxioms \mtimes{} Top
Date html generated:
2010_08_28-AM-02_38_09
Last ObjectModification:
2010_02_22-PM-10_28_17
Home
Index