{ SecurityTheory 
' }
{ Proof }
Definitions occuring in Statement :
security-theory: SecurityTheory,
prop: ,
member: t T
Definitions :
universe: Type,
member: t T,
equal: s = t,
function: x:A 
B[x],
all: 
x:A. B[x],
top: Top,
ses-axioms: SecurityAxioms,
prop: ,
product: x:A 
B[x],
security-event-structure: SES,
security-theory: SecurityTheory
Lemmas :
security-event-structure_wf,
ses-axioms_wf,
top_wf
SecurityTheory \mmember{} \mBbbP{}'
Date html generated:
2011_08_17-PM-07_30_47
Last ObjectModification:
2010_09_24-PM-02_45_13
Home
Index