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