Équivalence comportementale

• P » Q si un système avec un composant P, i.e. C[P], ne peut être distingué du même système avec P remplacé par Q, i.e. C[Q].

• Exemples

  • Non-interférence: (nn)(n[] | open n.P) » (nn)P
  • Pare-feu parfait: n Ï fn(P) Þ (nn)n[P] » 0
  • Cryptage parfait: (nn)n[áMñ] » (nn)n[áM’ñ]