1. An informal presentation of a formal security policy model. 2. An informal presentation of a formal security policy model. 3. A logically precise distillation of all or part of a System Electronic Information Security Policy, developed to avoid ambiguities and inconsistencies and to form a sound basis for subsequent stages of the development of a system. Note: A Security Policy Model may be formal (i. E. Based on principles of mathematics. )