TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

MODELE POLITIQUE SECURITE [1 fiche]

Fiche 1 1997-11-27

Anglais

Subject field(s)
  • IT Security
DEF

An informal presentation of a formal security policy model.

OBS

Formal Security Policy Model. A mathematically precise statement of a security policy. To be adequately precise, such a model must represent the initial state of a system, the way in which the system progresses from one state to another, and a definition of a "secure" state of the system. To be acceptable as a basis for a TCB, the model must be supported by a formal proof that if the initial state of the system satisfies the definition of a "secure" state and if all assumptions required by the model hold, then all future states of the system will be secure. Some formal modeling techniques include: state transition models, temporal logic models, denotational semantics models, algebraic specification models. An example is the model described by Bell and LaPadula....

Français

Domaine(s)
  • Sécurité des TI

Espagnol

Conserver la fiche 1

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Travaux publics et Services gouvernementaux Canada, 2019
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Une collection d'outils d'aide à la rédaction qui proposent des solutions aux difficultés propres au français et à l'anglais, qu'il s'agisse de grammaire, de style ou d'usage.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :