Nuprl Definition : ses-axioms
SecurityAxioms ==
ActionsDisjoint ∧ NoncesCiphersAndKeysDisjoint ∧ PropertyF ∧ PropertyV ∧ PropertyR ∧ PropertyD ∧ PropertyS ∧ PropertyK
Definitions occuring in Statement :
ses-nonce-disjoint: NoncesCiphersAndKeysDisjoint,
ses-disjoint: ActionsDisjoint,
ses-K: PropertyK,
ses-S: PropertyS,
ses-D: PropertyD,
ses-R: PropertyR,
ses-V: PropertyV,
ses-flow-axiom: PropertyF,
and: P ∧ Q
FDL editor aliases :
ses-axioms
Latex:
SecurityAxioms ==
ActionsDisjoint
\mwedge{} NoncesCiphersAndKeysDisjoint
\mwedge{} PropertyF
\mwedge{} PropertyV
\mwedge{} PropertyR
\mwedge{} PropertyD
\mwedge{} PropertyS
\mwedge{} PropertyK
Date html generated:
2015_07_23-PM-00_08_06
Last ObjectModification:
2012_08_30-PM-04_25_21
Home
Index