SecurityAxioms ==
ActionsDisjoint
NoncesCiphersAndKeysDisjoint
PropertyF
PropertyV
PropertyR
PropertyD
PropertyS
PropertyK
Definitions :
ses-disjoint: ActionsDisjoint,
ses-nonce-disjoint: NoncesCiphersAndKeysDisjoint,
ses-flow-axiom: PropertyF,
ses-V: PropertyV,
ses-R: PropertyR,
ses-D: PropertyD,
and: P Q,
ses-S: PropertyS,
ses-K: PropertyK
FDL editor aliases :
ses-axioms
SecurityAxioms ==
ActionsDisjoint
\mwedge{} NoncesCiphersAndKeysDisjoint
\mwedge{} PropertyF
\mwedge{} PropertyV
\mwedge{} PropertyR
\mwedge{} PropertyD
\mwedge{} PropertyS
\mwedge{} PropertyK
Date html generated:
2010_08_28-AM-02_35_42
Last ObjectModification:
2010_03_10-PM-12_09_13
Home
Index