Android 6.0中SELinux的TE简介

SELinux资源访问基本概念

SELinux使用类型强制来改进强制访问控制。所有的主体（程序进程）对客体（文件/socket等资源）的访问都有一条TE规则来许可。当程序访问一个资源的时候，系统会搜索所有的TE规则集，并根据结果进行处理。这个规则集是由访问向量规则（AV， Access Vector）来描述的。

内核向外部暴露允许访问的资源权限，由TE来描述主体拥有什么样的访问权。SELinux定义了30个不同的客体类别：
     

security process system capability filesystem file dir fd lnk_file chr_file blk_file socket_file ...

每个客体类别都定义了操作许可，比如针对file有19个操作许可：

 ioctl read write create getattr setattr lock relablefrom relableto append unlink link rename execute swapon quotaon mounton execute_no_trans entrypoint
这两个内容在后面介绍常用语法的时候会涉及到。所以对于file的操作许可，我们可以看到基本上是对文件的操作方法，所以程序调用这些功能的时候，系统会检查是否有一个TE规则，授予了该程序权限来使用该功能。

Android中的SELinux

开启SELinux

首先必须先开启SELinux功能，google提供了开启该选项的开关。在BoardConfig.mk里面会定义如下变量：

BOARD_SEPOLICY_DIRS += build/target/board/generic/sepolicy

 对应路径下面就会有很多TE文件来描述进程对资源的访问许可。

常用语法

类型和属性

在TE中，所有的东西都被抽象成类型。进程，抽象成类型；资源，抽象成类型。属性，是类型的集合。所以，TE规则中的最小单位就是类型。

声明类型

type 类型名称

type system_app;

 

关联类型和属性

有两种方法可以将某个类型跟某个属性关联起来。

一，在声明类型的时候就关联已经定义的属性。

type system_app, domain;

 这个就在定义system_app的时候就将它跟已经定义的domain属性关联起来了。

typeattribute platform_app mlstrustedsubject;

如果已经定义了类型platform_app，可以用typeattribute将它和已经定义的mIstrustedsubject关联起来。 

 注意：所有的属性和类型都共用一个命名空间，所以命名的时候不要出现同名的属性和类型哦。

访问向量（AV）规则

AV用来描述主体对客体的访问许可。通常有四类AV规则：

    allow：表示允许主体对客体执行许可的操作。

    neverallow：表示不允许主体对客体执行制定的操作。

    auditallow： 表示允许操作并记录访问决策信息。

    dontaudit：表示不记录违反规则的决策信息，切违反规则不影响运行。

通用的类型规则语法位：

allow platform_app debugfs:file { read ioctl };

 

表示类别为platform_app的程序进程，对debugfs类型的文件执行read和ioctl操作。
一些特殊的配置文件：

a. external/sepolicy/attributes -> 所有定义的attributes都在这个文件
b. external/sepolicy/access_vectors -> 对应了每一个class可以被允许执行的命令
c. external/sepolicy/roles -> Android中只定义了一个role，名字就是r，将r和attribute domain关联起来
d. external/sepolicy/users -> 其实是将user与roles进行了关联，设置了user的安全级别，s0为最低级是默认的级别，mls_systemHigh是最高的级别
e. external/sepolicy/security_classes -> 指的是上文命令中的class，个人认为这个class的内容是指在android运行过程中，程序或者系统可能用到的操作的模块
f. external/sepolicy/te_macros -> 系统定义的宏全在te_macros文件
g. external/sepolicy/*.te -> 一些配置的文件，包含了各种运行的规则
selinux有两种工作模式

“permissive”：所有操作都被允许（即没有MAC），但是如果有违反权限的话，会记录日志
“enforcing”：所有操作都会进行权限检查

permissive platform_app;

 

其他

在te文件中经常出现如下的函数：

unix_socket_connect(platform_app, agpsd, mtk_agpsd);

 这个其实是一个宏。它定义在文件名为te_macros的文件里面，经过全局搜索这个宏，发现如下定义：

unix_socket_connect($1, qmuxd, qmux)

allow qmux $1_qmuxd_socket:sock_file { getattr unlink };

')

 

总结

在分析时时刻牢记，TE规则描述的是主体对客体访问的许可。TE的最小单位是类型，这个概念抽象了主体和客体。每个主体对客体执行某种许可，都需要有对应的av规则描述，否则就会失败。在实际项目过程中如果碰到相关的问题，可能就需要修改te文件，编辑相关的操作许可。

参考：https://blog.csdn.net/murphykwu/article/details/52457667