TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

A formal transition model of computer security policy that describes a set of access control rules [where] the entities in a computer system are divided into abstract sets of subjects and objects.  2, fiche 1, Anglais, - Bell%2DLaPadula%20model

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Modèle formel de politique de sécurité [dans lequel sont modélisées] les exigences de contrôle d'accès caractérisant une politique nationale de sécurité à l'aide d'un modèle basé sur le concept du moniteur de références et d'une politique de sécurité multi-niveaux de confidentialité. [Définition reproduite avec l'autorisation de l'AFNOR.]  2, fiche 1, Français, - mod%C3%A8le%20de%20Bell%2DLaPadula

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

An informal presentation of a formal security policy model.  1, fiche 2, Anglais, - security%20policy%20model

Record number: 2, Textual support number: 1 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....  1, fiche 2, Anglais, - security%20policy%20model

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol