学习SELinux：如何编写策略教程？ (selinux策略编写教程)
SELinux是一种安全增强型的Linux安全机制，它可以使系统管理员更好的保护服务器和应用程序，防止黑客和病毒攻击。在SELinux中，策略是核心部分，它规定了哪些进程可以访问哪些系统资源。本文将介绍如何编写SELinux策略，由浅入深地分析策略文件的语法结构和使用方法。
一、了解SELinux策略的类型
在SELinux中，策略分为多种类型，每种类型对应着特定的用途。之一个类型是默认策略，它与基于角色的访问控制（RBAC）相似。可以通过修改 /etc/selinux/config 文件来修改默认策略。第二个类型是定制策略，它是特定应用程序所需要的策略。为了实现定制策略，需要针对应用程序的特殊要求，创建一个新的策略模块。第三个类型是轻量级策略，它是较新版本的SELinux中推出的。轻量级策略与默认策略类似，但它所需的资源更少，因此可以提供更高的性能和更少的内存占用。
二、编写策略文件
在编写SELinux策略文件时，要遵循以下步骤：
1. 安装policycoreutils-devel
首先需要安装 policycoreutils-devel 软件包，该软件包包含了许多 SELinux 开发所需要的工具和库，例如，seinfo、semanage、restorecond等等。
2. 创建策略文件
创建一个策略文件，文件名以 .te 结尾，例如 myapp.te。然后在该文件中声明需要的类型和权限、角色以及访问策略。
3. 编译策略文件
使用命令 checkmodule 来编译 *.te 文件，并生成 *.mod 文件。例如：
checkmodule -M -m -o myapp.mod myapp.te
4. 生成策略包
使用命令 semodule_package 来生成一个策略包，该包可以通过安装到系统的方式来应用 SELinux 策略。例如：
semodule_package -o myapp.pp -m myapp.mod
5. 安装策略包
使用命令 semodule 来安装策略包：
semodule -i myapp.pp
以上就是编写 SELinux 策略文件的主要步骤。接下来，我们将深入了解策略文件的语法和使用。
三、语法解析
在SELinux的策略文件中，有四种类型的语句，分别是类型声明、属性声明、访问控制声明和其他声明。下面分别介绍这些语句的使用方法：
1. 类型声明
类型声明语句用于定义 SELinux 的类型。它包括类型的名称和类型的种类，例如：
type myapp_t;
类型声明语句是一个必需的语句，因为许多其他类型的语句都需要引用已存在的类型。
2. 属性声明
属性声明语句用于给 SELinux 对象定义属性。一个对象可以有多个属性。这些属性通常用于描述对象的特征，例如：
attribute user_myapp_role;
3. 访问控制声明
访问控制声明语句用于定义 SELinux 的基本性质，包括：
– 许可模式：表示允许或禁止特定的操作；
– 源类型：代表数据来源的特定类型；
– 目标类型：目标资源的特定类型；
– 类别：代表SELinux上下文中的安全标签。
其中，许可模式包括以下几种：
– allow：允许指定操作；
– dontaudit：记录指定操作，但不强制执行；
– auditallow：允许指定操作，并记录在审计日志中。
例如：
allow myapp_t httpd_sys_content_t:file {read getattr};
4. 其他声明
其他声明语句包含条件语句和模块引用。条件语句可以让我们根据规则来允许或拒绝访问，模块引用允许我们引用其他模块中定义的规则。
四、使用方法
本节将介绍如何使用SELinux策略文件来保护应用程序或系统资源。
1. 创建应用程序策略
创建一个策略文件，例如 myapp.te。该文件包含以下内容：
policy_module(myapp, 1.0)
type myapp_t;
type httpd_myapp_script_t;
allow myapp_t httpd_myapp_t:process { getattr setuid };
allow httpd_myapp_script_t myapp_data_t:file { read write };
然后，编译策略文件并生成策略包，以在系统上安装：
checkmodule -M -m -o myapp.mod myapp.te
semodule_package -o myapp.pp -m myapp.mod
semodule -i myapp.pp
2. 修改文件SELinux安全性上下文
如果您想修改某个文件的SELinux安全性上下文，可以使用 chcon 命令来修改，但该修改只对一次启动后有效。要对文件进行持久的SELinux安全性上下文设置，则需要使用 semanage fcontext 命令。例如：
chcon -t myapp_data_t /var/www/html/myapp/data.txt
semanage fcontext -a -t myapp_data_t “/var/www/html/myapp(/.*)?”
restorecon -v /var/www/html/myapp
以上是基本的策略创建和使用方法。但是，SELinux作为一种复杂的安全机制，还有很多高级的用法和细节需要深入研究和理解。希望本文能够引导读者进入SELinux的世界，更好地保护服务器和应用程序。
相关问题拓展阅读：
SELinux权限
在了解SELinux之前，我们先来了解一下Linux的两种访问控制策略：DAC和MAC
DAC，自主访问控制（Discretionary Access control）。系统只提供基本的验证, 完整的访问控制由开发者自己控制。
DAC将资源访问者分成三类：Owner、Group、Other 。
将访问权限也分成三类：read、write、execute
资源针对资源访问者设置不同的访问权限。访问者通常是各个用户喊雀的进程，有自己的uid/gid，通过uid/gid 和文件权限匹配, 来确定前渗行是否可以访问。DAC机制下，每一个用户进程默认都拥有该用户的所有权限。
DAC 有两个严重问题：
问题一：
因为Root用户是拥有所有权限的，所以DAC对Root用户的限制是无效的。并且在Linux Kernel 2.1以后，Linux将Root权限根据不同的应用场景划分成许多的Root Capabilities, 普通用户也可以被设置某个Root Capability。普通用户如果被设置了CAP_DAC_OVERRIDE， 也可以绕过 DAC 限制。
问题二：
用户进程拥有该用户的所有权限，可以修改/删除该用户的所有文件资源, 难以防止
恶意软件
。
可见，DAC 有明显的缺陷，一旦被入侵，取得Root权限的用户进程就可以无法无天，胡作非为，早期android版本就深受其害。
MAC， 强制性访问控制（Mandatory Access control）。 系统针对每一项访问都进行严格的限制, 具体的限制策略由开发者给出。
Linux MAC 针对DAC 的不足, 要求系统对每一项访问, 每访问一个文件资源都需要根据已经定义好了的策略进行针对性的验证。系统可以针对特定的进程与特定的文件资源来进行权限的控制。即使是root用户，它所属的不同的进程，并不一定能取得
root权限
，而得要看事先为该进慧哗程定义的访问限制策略。如果不能通过MAC 验证，一样无法执行相关的操作。
与DAC相比，MAC访问控制的“主体”变成了“进程”而不是用户。这样可以限制了Root 权限的滥用，另外要求对每一项权限进行了更加完整的细化, 可以限制用户对资源的访问行为。
SELinux就是目前更好的MAC机制，也是目前的行业标准。
SELinux，安全增强Linux（Security-Enhanced Linux），是由
美国国家安全局
(NSA)发起, 多个
非营利组织
和高校参与开发的强制性安全审查机制（Mandatory Access control，简称MAC）。SELinux最早于2023年12月采用GPL许可发布。目前，Linux Kernel 2.6 及以上的版本都已经集成了SELinux。
SELinux 分成三种模式：
Android 5.x及以上强制开启，因此，disabled(关闭)模式并没有什么用了。 通常在调试时，我们会启用Permissve(宽容模式), 以便尽可能的发现多的问题, 然后一次修正。 在量产时启用Enfocing mode(强制模式)来保护系统。
查看SELinux模式：adb shell getenforce
设置SELinux模式：adb shell setenforce 1 //0是Permissve，1是Enfocing
SELinux 的访问控制示意图：
通常我们开发的过程中，就是配置Subject、Object、Security Policy。
SELinux 给Linux 的所有对象都分配一个安全上下文(Security Context)， 描述成一个标准的
字符串
。
安全上下文的标准格式：
user:role:type
Security Label 用来绑定被访问资源和安全上下文，描述它们的对应关系。标准格式为：resource security_context。即：res user:role:type。这里也可以使用
通配符
，例如 net.就可以绑定所有以net.开头的属性，除此之外，还有类似
正则表达式
的*、？等等通配符。Security Label 都定义在type_contexts当中，例如file的定义在file_contexts中，service定义在service_contexts中，property定义在property_contexts中。
举例：
file_contexts:
service_contexts:
查看进程安全上下文：
ps -AZ
。例如，查看Settings进程的安全上下文，ps -AZ | grep settings：
u:r:system_app:s0 system S com.android.settings
查看文件安全上下文：
ls -Z
。例如，查看文件build.prop的安全上下文：
u:object_r:system_file:s0 build.prop
Type Enforcement (TE) 是根据Security Context中的 type 进行权限审查, 审查 subject type 对 object type 的某个class 类型中某种permission 是否具有访问权限，是目前使用最为广泛的MAC 审查机制, 简单易用。
TE控制语句格式 :
rule_name source_type target_type : class perm_set
Type Enforcement规则说明：
举个例子，logd.te、tombstoned.te中定义的TE规则：
allow logd runtime_event_log_tags_file:file rw_file_perms;
dontaudit domain runtime_event_log_tags_file:file { open read };
auditallow tombstoned anr_data_file:file { append write };
neverallow logd { app_data_file system_data_file }:dir_file_class_set write;
SELinux 中每一个进程或者文件都对应一个type, 而每一个type 都对应有一个或几个attribute。所有常见的attribute定义在以下文件中：
system/sepolicy/public/attributes
system/sepolicy/prebuilts/api//public/attributes
system/sepolicy/prebuilts/api//private/attributes
其中的即为android
版本号
，例如android O为28.0。常见的attribute定义：
Type对应一个或者几个attribute，Type的定义格式：
type type_name, attribute1, attribute2；
Type的定义通常分散在各个te文件中。例如，常用普通文件的type定义在file.te中：
SEAndroid对于不同的资源类型，定义了不同的Class。比如普通的file、socket等等，比如SELinux 使用的security, 比如针对每个process 参数的process 等定义相关的class。这些class，每一个class 都有相对应的permissions。 比如file 就有 read, write, create, getattr, setattr, lock, ioctl 等等. 比如process 就有fork, sigchld, sigkill, ptrace, getpgid, setpgid 等等。这些相关的class, 以及他们具有那些Permissions都定义在以下文件中：
system/sepolicy/private/access_vectors
system/sepolicy/reqd_mask/access_vectors
system/sepolicy/prebuilts/api/版本号/private/access_vectors
例如：
定义完之后，在以下对应的security_classes 文件中声明定义的classes。
system/sepolicy/private/security_classes
system/sepolicy/reqd_mask/security_classes
system/sepolicy/prebuilts/api/版本号/private/security_classes
例如：
注意，Classes 和Permissions的定义与Kernel 中相关API是强相关的，普通用户严禁修改。
在SELinux 中, 我们通常称一个进程是一个domain, 一个进程fork 另外一个进程并执行(exec) 一个执行档时, 我们往往会涉及到domain 的切换. 比如init 进程, SELinux 给予了它很大的权限, 而它拉起的服务, 我们要限制这个服务的权限，于是就涉及到从一个domain 切换到另外一个domain, 不然默认就使用init 进程的domain.
在SELinux 里面有专门的一条语法: type_transition statement.
在准备切换前我们先要确保有相关的权限操作：
如下面的demo, init 拉起apache 并且切换到 apache 的domain.
(1). 首先，你得让init_t域中的进程能够执行type为apache_exec_t的文件
allow init_t apache_exec_t : file {read getattr execute};
(2). 然后，你还得告诉SELinux，允许init_t做DT切换以进入apache_t域
allow init_t apache_t : process transition;
(3). 然后，你还得告诉SELinux，切换入口（对应为entrypoint权限）为执行apache_exec_t类型 的文件
allow apache_t apache_exec_t : file entrypoint;
(4).最后，Domain Transition
type_transition init_t apache_exec_t : process apache_t;
可以看到，整个domain切换过程写起来非常麻烦。因此，Google 为了使用方便, 在system/sepolicy/public/te_macros 文件中定义了宏：
我们可以使用这些宏来完成domain切换。
举例：
kernel启动init进程切换domain:
domain_auto_trans(kernel, init_exec, init)
init启动netd、vold、zygote、installd切换domain:
init_daemon_domain(netd)
init_daemon_domain(vold)
init_daemon_domain(zygote)
init_daemon_domain(installd)
一个进程创建在一个目录下创建文件时, 默认是沿用父目录的Security Context, 如果要设置成特定的Label, 就必须进行Object Transitions.
同样是使用：type_transition statement.
对应的必须有两个前提条件:
下面是一个demo, ext_gateway_t 这个domain 在类型为in_queue_t 的目录下，创建类型为 in_file_t 的文件.
(1). 首先，你得让ext_gateway_t 对in_queue_t 目录具备访问权限
allow ext_gateway_t in_queue_t : dir { write search add_name };
(2). 然后，你还得告诉SELinux，允许ext_gateway_t 访问in_file_t的文件
allow ext_gateway_t in_file_t : file { write create getattr };
(3).最后，Object Transition
type_transition ext_gateway_t in_queue_t : file in_file_t;
同样的，为了方便使用，Google 也在system/sepolicy/public/te_macros 文件中定义了宏:
使用举例：
file_type_auto_trans(factory, system_data_file, factory_data_file)
android O 以前sepolicy 集中放在boot image 。前面提到SELinux在Android的主要变更历史时，有提到android O 开始，Google将system image 和 vendor image 分离。因此，sepolicy 也相应的被分离存放到system image 以及 vendor image。与system 相关的sepolicy 就存放system image, 与SoC vendor 相关的sepolicy 就存放在vendor image。
对于原生AOSP，Google 设定了不同的存放目录, 以便进行分离, 以Google 默认的sepolicy 为例，sepolicy主目录为 /system/sepolicy，我们主要关注三个子目录：
对于不同的平台，不同平台厂商也设定了不同的存放目录，以MTK平台为例：
首先，根据不同的platform共用sepolicy、platform独有、project独有，分为：
对应的，不同版本会导入不同目录下的sepolicy配置
以mt6763平台为例，导入时：
路径为：/device/mediatek/sepolicy
路径为：/device/mediatek/mt6763/sepolicy/
具体的定义在BoardConfig.mk文件中:
然后，basic、bsp、full又可以主要细分为：
Google 在system/sepolicy 中定义了相关的neverallow 规则, 对SELinux Policy 的更新进行了限制, 以防止开发者过度开放权限，从而引发安全问题。并且还会通过CTS测试检测开发者是否有违法相关的规则。
因此，我们需要注意以下几点：
出现SELinux Policy Exception时常见的两种解决方案：
(1). 修改对应节点的SELinux Security Label, 为特定的Subject，如system_app、platform_app、priv_app，例如Settings，SystemUI等内置APP开启权限, 但严禁为untrsted app 开启权限。
(2). 通过system server service 或者 init 启动的service 读写操作, 然后app 通过binder/socket 等方式连接访问. 此类安全可靠, 并且可以在service 中做相关的安全审查, 推荐这种方法.
情景: 定义由 init 进程启动的service, factory, 其对应的执行档是 /vendor/bin/factory。
(1). 在device/mediatek/mt6763/sepolicy/basic/non_plat 目录下创建一个factory.te , 然后将te文件加入编译，如放到这种指定目录下不需要额外配置，sytem/sepolicy/Android.mk中定义的build_policy函数会遍历指定目录导入te文件。
(2). 在factory.te 中定义factory类型，init 启动service 时类型转换,
type factory, domain;
type factory_exec, exec_type, file_type, vendor_file_type;
init_daemon_domain(factory)
(3). 在file_contexts中绑定执行档
/(system/vendor|vendor)/bin/factory u:object_r:factory_exec:s0
(4). 根据factory需要访问的文件以及设备, 定义其它的权限在factory.te 中.
#Purpose: For key and touch event
allow factory input_device:chr_file r_file_perms;
allow factory input_device:dir rw_dir_perms;
情景: 添加一个自定义的system property： persist.demo，并为platform_app设置读写权限
(1). 在property.te中定义system property类型
type demo_prop, property_type
(2). 在property_contexts中绑定system property的安全上下文。
persist.demo u:object_r:demo_prop:s0
(3). 在platform_app.te 中新增写权限，可以使用set_prop宏。
set_prop(platform_app, demo_prop)
(4). 在platform_app.te 中新增读权限，可以get_prop 宏。
get_prop(platform_app, demo_prop)
情景: 有一个设备节点/dev/demo，有一个platform_app进程需要读写这个设备节点。
(1). 在device.te中定义device 类型
type demo_device dev_type;
(2). 在 file_contexts中绑定demo_device
/dev/demo u:object_r:demo_device:s0
(3). 在platform_app.te中，允许platform_app使用demo device 的权限
allow platform_app demo_device:chr_file rw_file_perms;
情景: 有一个扩展的系统服务demo_service供APP调用。
(1). 在service.te 中定义service 类型
type demo_service, app_api_service, system_server_service, service_manager_type;
(2). 在service_contexts 中绑定service
demo u:object_r:demo_service:s0
(3). 在frameworks/base/core/java/android/content/Context.java中定义服务常量
public static final String DEMO_SERVICE = “demo”;
(4). 在frameworks/base/core/java/android/app/SystemServiceRegistry.java中，参照其它系统服务注册demo_service
(5). 在frameworks/base/services/java/com/android/server/SystemServer.java中，启动DemoService，添加到service_manager进行管理。
(6). 最后一步，参考其它系统服务，实现DemoManager、DemoService，并定义如IDemoService等等的AIDL接口。
情景: 一个native service 通过init 创建一个socket 并绑定在 /dev/socket/demo, 并且允许某些process 访问.
(1). 在file.te中定义socket 的类型
type demo_socket, file_type;
(2). 在file_contexts中绑定socket 的类型
/dev/socket/demo_socket u:object_r:demo_socket:s0
(3). 允许所有的process 访问，使用宏unix_socket_connect(clientdomain, socket, serverdomain)
unix_socket_connect(appdomain, demo, demo)
(1). 在device/mediatek/mt6763/sepolicy/basic/non_plat目录下创建一个demo.te。
(2). 在demo.te 中定义demo 类型，init 启动service 时类型转换。并可以根据demo 需要访问的文件以及设备, 定义其它的权限在demo.te 中。
type demo, domain;
type demo_exec, exec_type, file_type;
init_daemon_domain(demo)
(3). 绑定执行档 file_context 类型
/vendor/bin/demo u:object_r:demo_exec:s0
(4). 创建demo的入口执行档demo_exec、并配置相应的权限。
(1). 将SELinux 调整到Permissive 模式复测
使用eng/userdebug 版本，adb shell setenforce 0 将SELinux 模式调整到Permissive 模式，然后复测。如果还能复现问题，则与SELinux 无关； 如果原本很容易复现, 而Permissive mode 不能再复现, 那么就可能与SELinux相关。
(2). 查看LOG 中是否有标准的SELinux Policy Exception.
在Kernel LOG / Main Log 中查询关键字 “avc: denied” 看看是否有与目标进程相关的SELinux Policy Exception, 并进一步确认这个异常是否与当时的逻辑相关。
一般情况我们在符合Google sepolicy策略及neverallow策略的前提下，根据LOG中的内容，需要什么权限就加什么权限。例如LOG：
14:11:02./com.android.systemui W/FaceIdThread: type=1400 audit(0.0:481): avc: denied { read } for name=”als_ps” dev=”tmpfs” ino=10279 scontext=u:r:platform_app:s0:c512,c768 tcontext=u:object_r:als_ps_device:s0 tclass=chr_file permissive=0
LOG说明如下：
一般我们需要重点关注的是四个：permission、source type、target type、target class
根据这四个就可以配置出的所需要的selinux权限：
allow :
例1：
:45:22.W Camera: type=1400 audit(0.0:314): avc: denied { read } for name=”u:object_r:graphics_debug_prop:s0″ dev=”tmpfs” ino=2649 scontext=u:r:platform_app:s0:c512,c768 tcontext=u:object_r:graphics_debug_prop:s0 tclass=file permissive=0
解决方案：
按正常的套公式，应该是这样修改platform_app.te，增加：
allow platform_app graphics_debug_prop:file r_file_perms;
这里我们利用system/sepolicy/te_macros中定义的宏get_prop：
更多相关的宏定义请参考：system/sepolicy/public/te_macros。
所以最终简化后，修改platform_app.te，增加：
get_prop(platform_app, graphics_debug_prop)
例2：
:11:02./com.android.systemui W/BackThread: type=1400 audit(0.0:481): avc: denied { read } for name=”als_ps” dev=”tmpfs” ino=10279 scontext=u:r:platform_app:s0:c512,c768 tcontext=u:object_r:als_ps_device:s0 tclass=chr_file permissive=0
解决方案：
修改platform_app.te增加：
allow platform_app als_ps_device:chr_file r_file_perms;
(1). 不符合neverallow规则或者修改了neverallow规则
编译报错：
neverallow check failed at
CTS测试项failed：
android.cts.security.SELinuxNeverallowRulesTest#testNeverallowRulesXXX
这类问题在android O vendor和system分离之后，尤其容易出现。基本上这类问题都是因为修改或者增加的te配置不符合neverallow规则，导致编译报错。而为了解决编译报错，又修改了neverallow规则，最终在跑CTS时，没法通过相关的测试项。
解决思路：
(2). init进程fork新进程没有做domain切换
CTS测试项failed：
android.security.cts.SELinuxDomainTest # testInitDomain
解决思路：
fork进程时，参考3.4节中做domain切换。
selinux策略编写教程的介绍就聊到这里吧，感谢你花时间阅读本站内容，更多关于selinux策略编写教程,学习SELinux：如何编写策略教程？,SELinux权限的信息别忘了在本站进行查找喔。
