{ 
sth:SecurityTheory. SecurityAxioms }
{ Proof }
Definitions occuring in Statement :
sth-es: sth-es(s),
security-theory: SecurityTheory,
ses-axioms: SecurityAxioms,
all: x:A. B[x]
Definitions :
top: Top,
ses-axioms: SecurityAxioms,
sth-es: sth-es(s),
product: x:A 
B[x],
security-event-structure: SES,
security-theory: SecurityTheory,
equal: s = t,
member: t 
T,
function: x:A 
B[x],
all: x:A. B[x],
subtype_rel: A 
r B,
strong-subtype: strong-subtype(A;B),
prop: 
,
Auto: Error :Auto,
RepUR: Error :RepUR,
CollapseTHEN: Error :CollapseTHEN,
D: Error :D,
RepeatFor: Error :RepeatFor,
tactic: Error :tactic
Lemmas :
sth-es_wf,
ses-axioms_wf,
security-theory_wf
\mforall{}sth:SecurityTheory. SecurityAxioms
Date html generated:
2010_08_28-AM-02_38_22
Last ObjectModification:
2010_02_22-PM-10_30_34
Home
Index