Nuprl Definition : security-theory
SecurityTheory == ses:SES × A:SecurityAxioms × Top
Definitions occuring in Statement :
ses-axioms: SecurityAxioms,
security-event-structure: SES,
top: Top,
product: x:A × B[x]
FDL editor aliases :
security-theory
Latex:
SecurityTheory == ses:SES \mtimes{} A:SecurityAxioms \mtimes{} Top
Date html generated:
2015_07_23-PM-00_09_01
Last ObjectModification:
2012_08_30-PM-04_26_39
Home
Index