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:
2016_05_17-PM-00_28_34
Last ObjectModification:
2012_08_30-PM-04_26_39
Theory : event-logic-applications
Home
Index