Page Index - SELinuxProject/cil GitHub Wiki
97 page(s) in this GitHub Wiki:
- Home
- SELINUX COMMON INTERMEDIATE LANGUAGE MOTIVATION AND DESIGN
- Status
- Introduction
- Design Philosophy
- Goals and Primary Features
- Motivating Use Cases and Requirements
- Actors
- Use Cases
- Removing access from existing domains
- Adding policy
- Creating policy based upon existing policy
- Policy Abstractions
- Backwards Compatibility
- Adapting Policy
- Tools (e.g., semanage)
- Design Overview
- Language Reference
- Basic Syntax
- S-Expressions
- Basic Token Types
- Symbols
- Variables
- Quoted Strings
- Comments
- IP Addresses
- Numbers
- Forms
- Namespaces
- Current Namespace Management
- Type Hierarchy
- Introduction to CIL Namespace Management
- Global Namespace
- Block
- Other Namespaces Like Constructs
- Entering Namespaces
- Namespace Operator and Symbol Resolution
- Declarations and Definitions
- Reference Declarations
- Anonymous Objects
- Inheritance
- Filter Syntax
- Type Declaration and Definition
- Type Attributes
- Users
- Roles
- Object Class and Permissions
- Class
- Permissionset
- Classpermissionset
- Booleans
- Tunable
- Rules
- Access Vector Rules
- Transition Rules
- Role Transition
- Type Transition
- Type Member
- Type Change
- Role Allow
- Runtime and Compile Time Conditional Rules
- Optional Rules
- Constraints
- MLS and MLS Constraints
- Sensitivity
- Category
- Levels
- MLS Constraints
- Labeling
- Security context
- Network Labeling
- File Labeling
- fsuse
- genfscon
- filecon
- Initial SIDS
- XSM
- pirqcon
- iomemcon
- ioportcon
- pcidevicecon
- High Level Constructs
- Macros
- Delete
- Transform
- Keyword Reference
- TODO
- Open Questions
- Extended Examples
- The Code
- CIL Quick Reference
- CilAvRules
- CilConstraints
- CilContainers
- CilTeRules
- CilTypes
- CilUsers