TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

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

Record number: 1, 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 1, Anglais, - security%20policy%20model

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 OBS

The final version of the statement of environmental effects required for major Federal actions under section 102 of the National Environmental Policy Act(NEPA). It is a revision of the draft environmental impact statement to include public and agency responses to the draft. It is a formal document which must meet legal requirements and is the document used as a basis for judicial decisions concerning compliance with NEPA.  2, fiche 2, Anglais, - Final%20Environmental%20Impact%20Statement

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 OBS

A report on environmental effects of proposed Federal actions which may require an Environmental Impact Statement(EIS) under section 102 of the National Environmental Policy Act(NEPA). The EAR is an "in-house" document of varying degrees of formality which becomes the final document on environmental impacts for those projets which, because their effects are minor, do not require a formal EIS.  1, fiche 3, Anglais, - Environmental%20Analysis%20Report

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 OBS

Comme il s'agit d'un document rédigé en vertu d'une loi américaine, il n'existe pas d'appellation ou de sigle français officiels.  2, fiche 3, Français, - Environmental%20Analysis%20Report

Fiche 3,  Justifications,  Espagnol