Lines Matching refs:policy

4 …s between one or more high level policy languages (such as the current module language) and the lo…
6 …e and produce language constructs with more features than the raw kernel policy (e.g., interfaces)…
8 …f high-level languages, encouraging the creation of more domain specific policy languages (e.g., C…
10 * Provides a semantically rich representation suitable for policy analysis, allowing the analysis o…
19 …sy to parse and to generate by high-level compilers, analysis tools, and policy generation tools. …
21 …policy that will be enforced by the kernel. That policy must be full represented so that all of th…
23 …istent one - CIL is meant for a source policy oriented world, so assume and leverage that. The onl…
25 …lute requirement. Where necessary it is assumed that manual or automated policy conversion will be…
27 …policy, but there is no reason to re-think core concepts that are working well. All changes to exi…
29 * No more M4 - the pervasive use of M4 and pre-processing in general has eased policy creation, but…
31 …policy and the need to have the entire policy loaded to do much of the processing. If possible, ma…
36 …s that are currently difficult or impossible to achieve with the current policy languages and tool…
38 …policy updates from the vendor. It is desirable, therefore, to allow an administrator to make chan…
40 …faces, and macros before them, have been a successful mechanism to allow policy authors to define …
42 …policy relationships - templates, interfaces, and attributes are currently the only means of quick…
44 …policy management - semanage and related tools currently make policy modifications using private d…
55 …policy languages, is declarative. It removes all of the ordering constraints from the previous lan…
59 …policy languages in common usage: the reference policy syntax created in M4 (which includes interf…