0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

智能终端安全:内核安全-SElinux整体架构

冬至子 来源:TrustZone 作者:Hkcoco 2023-10-18 15:06 次阅读

这里来看看操作系统之前先看看内核

操作系统和内核是包含关系,内核是操作系统最基本的部分,它提供了操作系统的最基本功能,是操作系统工作的基础。

操作系统内核负责操作系统的任务调度、用户管理、内存管理、多线程支持、多CPU支持等,并包含 必要的网络协议、驱动等

内核是所有软件的基础,相应的 内核安全是操作系统安全的基础

这里其实可以理解一下什么内核和操作系统:简言之,操作系统就是内核掌握了技能之后的样子。

当前主流操作系统的内核都属于UNIX(或类UNIX)系统。UNIX是一个强大的多用户、多任务操作系统,支持多种处理器架构,属于分时操作系统。

UNIX最早于1969年在AT&T的贝尔实验室开发,随着时间演进产生若干分支,并在移动智能终端操作系统中获得广泛使用,如 iOS系统基于UNIX BSD规范 ,而 Android则基于Linux,同属UNIX大类

简单地说,UNIX是现代操作系统的典型代表,也是各种主要OS的技术源泉;而Linux是类UNIX的一个开源版本,具有产品级的系统稳定性。

典型终端操作系统内核使用情况如表所示。

image.png

可以看到,除了iOS,其他多数移动智能终端操作系统均采用了Linux内核。但iOS系统是封闭的,整体来说,对Linux内核的安全研究有相当的实际价值。

在Linux基础之上,2000年12月22日美国国家安全局(NSA,National Security Agency)发布了Linux安全增强版本SELinux, 其全称为Security-Enhanced Linux ,之后被合并到主线Linux内核版本中。随着近几年安全需求的不断增强,SELinux开始在产品和系统中获得使用。

于是请欢迎咱们的主角SELinux登场!!!

1、SELinux整体架构

1.1 SELinux基本概念

SELinux由NSA发布,之后,Red Hat、Network Associates、Secure Computing Corporation、Tresys Technology以及Trusted Computer Solutions等公司及研究团队都为SELinux的发展做出了重要的贡献。

SELinux本质是一个Linux内核安全模块 ,可在Linux系统中配置其状态。SELinux的状态分为3种,即disabled、permissive和enforcing。

  • (1)disabled状态:指在Linux系统中不启用SELinux模块的功能。
  • (2)permissive状态:指在Linux系统中,SELinux模块处于Debug模式, 若操作违反策略系统将对违反内容进行记录 ,但不影响后续操作。
  • (3)enforcing状态:指在Linux系统中,SELinux模块有效, 若操作违反策略,SELinux模块将无法继续工作

SELinux涉及的重要概念如下。

(1)主体

主体是访问操作的发起者 ,是系统中信息流的启动者。主体通常指用户或代表用户意图的进程。

通常, 主体是访问的发起者,但有时也会成为访问或受控的对象

一个主体可以向另一个主体授权,一个进程可能会控制几个子进程,这时受控的主体或子进程就是一种客体。

(2)客体

客体相对主体而存在,通常客体 是指信息的载体或从其他主体或客体接收信息的实体 ,即访问对象。

(3)访问控制分类

管理方式的不同形成不同的访问控制方式。

通常,访问控制方式分为两类:自主访问控制(DAC, Discretionary Access Control)和强制访问控制(MAC, Mandatory Access Control)。

(4)域

域决定了系统中进程的访问,所有进程都在域中运行 。本质上 ,域是一个进程允许的操作列表,决定了一个进程可以对哪些类型进行操作 。SELinux中域的概念相当于标准Linux中uid的概念。

(5)类型

类型与域的概念基本相似,但是, 域是相对进程主体的概念,类型是相对目录、文件等客体的概念类型分配给一个客体,并决定哪个主体可以访问该客体。

(6)角色

角色决定了可以使用哪些域 。具体哪些角色可以使用哪些域,需要在策略配置文件中预先定义。如果在策略配置文件中定义了某个角色不可以使用某个域,在实际使用中将会被拒绝。

(7)身份

身份属于安全上下文的一部分,身份决定了本质上可以执行哪个域。

(8)安全上下文

安全上下文是对操作涉及的所有部分的属性描述,包括身份、角色、域、类型。

(9)策略

策略是规则的集合,是可以设置的规则。

策略决定一个角色的用户可以访问什么,哪个角色可以进入哪个域,哪个域可以访问哪个类型等。

1.2、SELinux内核架构

最早期的SELinux是Linux系统一个增强安全的补丁集,其后为解决每个系统对安全的细节控制不尽相同的问题,Linux安全框架(LSM, Linux Security Modules)被提出,使SELinux可作为可加载的安全模块运行。

LSM是一个底层的安全策略框架,Linux系统利用LSM管理所有的系统调用。SELinux通过LSM框架整合到Linux内核中。

当用户进程执行系统调用时,进程首先遍历Linux内核现有的逻辑寻找和分配资源,进行一些常规的错误检查,然后进行DAC自动访问控制。

自主访问控制(DAC, Discretionary Access Control)

进程仅在内核访问内部对象之前,由LSM的钩子询问LSM模块可否访问,LSM模块处理该策略问题并回答可以访问或拒绝访问。

LSM框架主要包括安全服务器、客体管理器和访问向量缓存。LSM模块架构如图所示。

image.png

安全服务器负责策略决定,安全服务器使用的策略通过策略管理接口载入。

客体管理器负责按照安全服务器的策略决定强制执行它管理的资源集。

对于内核, 客体管理器可以理解为一个内核子系统 ,负责创建并管理内核级的客体,包括文件系统、进程管理和System V进程间通信(IPC, Inter-Process Communication)。

访问向量缓存(AVC, Access Vector Cache)提升了访问确认的速度,并为LSM钩子和内核客体管理器提供了SELinux接口。

1.3、SELinux策略语言

SELinux架构中,对于内核资源,策略通过策略管理接口载入SELinux LSM模块安全服务器中,从而决定访问控制。

SELinux的优势是其策略规则不是静态的,用户必须按照安全目标的要求自行编写策略。使用和应用SELinux本质上就是编写和执行策略的过程。

策略在策略源文件中描述。策略源文件名称为policy.conf,其文件结构包括以下几点。

  • (1)类别许可, 指安全服务器的客体类别 ,对于内核而言, 类别直接关系内核源文件许可指针对每个客体类别的许可。 通常,SELinux策略编写者不会修改客体的类别和许可定义。
  • (2)类型强制声明,包括所有的类型声明和所有的TE(Type Enforcement,类型强制)规则,是SELinux策略中最重要的部分。
  • (3)约束,是TE规则许可范围之外的规则,为TE规则提供必要的限制。多级安全(MLS)是一种约束规则。
  • (4)资源标记说明,指对所有客体都必须添加的一个“安全上下文”标记,是SELinux实施访问控制的前提。SELinux根据资源标记说明处理文件系统标记以及标记运行时创建的临时客体规则。

SELinux策略大而复杂,由一个个小的策略模块构成。

策略模块的生成一般采用源模块法。源模块法支持单策略的开发,并通过一组shell脚本、m4宏和Makefile一起合并成为文本文件。

多个策略模块集合组成策略源文件,即policy.conf,策略源文件是文本文件,通过策略编译器checkpolicy编译为二进制文件policy.xx(xx为版本号),并通过策略装载函数security_load_policy载入内核且实施访问控制。

使用源模块构造和载入SELinux策略的全过程如图所示。

image.png

  • 首先,通过源模块法生成一个个策略模块,策略模块聚合形成一个大的策略源文件policy.conf;
  • 其次,策略源文件policy.conf通过策略编译器checkpolicy,生成可被内核读取的二进制文件policy.xx;
  • 最后,policy.xx通过策略装载函数security_load_policy载入内核空间并实施访问控制。

目前,在SELinux策略上常见的是单策略组合。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 二进制
    +关注

    关注

    2

    文章

    709

    浏览量

    41266
  • Linux系统
    +关注

    关注

    4

    文章

    567

    浏览量

    26926
  • 状态机
    +关注

    关注

    2

    文章

    486

    浏览量

    27188
收藏 人收藏

    评论

    相关推荐

    OpenHarmony中SELinux使用详解

    在OH中应用整体来说,功能和以上介绍的使用方法并无太大差别,只是在原生SELinux内核中做了部分驱动和文件系统的适配。目前码云社区上master分支以RK3568为例子做了适配并开启了SEL
    发表于 04-03 10:43

    基于多内核的操作系统内生安全技术

    万物互联,设备越来越多,且智能化、网络化趋势日益明显,成为未来发展的一个必然方向,但同时也为系统安全带来了新的挑战与机遇,功能安全与网络安全的各种问题和隐患也随之而来。操作系统是软件
    的头像 发表于 01-16 11:07 282次阅读
    基于多<b class='flag-5'>内核</b>的操作系统内生<b class='flag-5'>安全</b>技术

    第二届大会回顾第5期 | 分级安全架构构筑智能汽车功能、网络、隐私三安全

    委员会副首席科学家、终端BG/车BU首席安全架构师。主要负责HarmonyOS/OpenHarmony操作系统安全架构设计、终端芯片安全架构
    的头像 发表于 12-19 08:36 202次阅读
    第二届大会回顾第5期 | 分级<b class='flag-5'>安全架构</b>构筑<b class='flag-5'>智能</b>汽车功能、网络、隐私三<b class='flag-5'>安全</b>

    架构下的功能安全思考

    到新的区域控制器。同时,区域控制器也集成了二级智能配电功能,真正形成了Power HUB, IO HUB, Data HUB。 整车区域架构 新EEA架构下,功能安全也随之有了新的变化
    的头像 发表于 11-06 08:40 253次阅读
    域<b class='flag-5'>架构</b>下的功能<b class='flag-5'>安全</b>思考

    SELinux策略语言是什么

    SELinux策略语言 SELinux架构中,对于内核资源,策略通过策略管理接口载入SELinux LSM模块
    的头像 发表于 10-31 14:58 304次阅读
    <b class='flag-5'>SELinux</b>策略语言是什么

    SELinux内核架构

    ,使SELinux可作为可加载的安全模块运行。 LSM是一个底层的安全策略框架,Linux系统利用LSM管理所有的系统调用。SELinux通过LSM框架整合到Linux
    的头像 发表于 10-31 14:50 279次阅读
    <b class='flag-5'>SELinux</b><b class='flag-5'>内核</b><b class='flag-5'>架构</b>

    SELinux基本概念介绍

    Computer Solutions等公司及研究团队都为SELinux的发展做出了重要的贡献。 SELinux本质是一个Linux内核安全模块,可在Linux系统中配置其状态。
    的头像 发表于 10-31 14:42 486次阅读

    面向OpenHarmony终端的密码安全关键技术

    较大提升,其具体工作有: ● 终端体系层面:体系化梳理全国产智能终端的密码安全需求与防护框架,创新地在国产化智能
    发表于 09-13 19:20

    STM32MP1微处理器确保终端设备的安全

    无论保护对象是哪些资产,安全防护之路总是充满崎岖。从终端用户到工程界和投资者,整个价值链整个价值链都没有很强的意愿去实施安全解决方案。 举个简单的例子,在机场实施安全措施需要在基础设施
    发表于 09-07 07:25

    STM32安全框架助力客户应对安全挑战

    内容包含:安全框架:面向开发人员、应用要求:应用案例与安全功能、应用要求:应用案例与安全功能、MCU/MPU独立架构等。
    发表于 09-05 06:35

    STM32功能安全设计包新架构介绍 及使用技巧分享

    内容包含:STM32功能安全资源概述 、STM32U5X-CUBE-CLASSB V4.0.0 、STM32功能安全硬件属性、通过STM32硬件功能检测软错误、通过STM32硬件功能实现隔离和保护和总结。
    发表于 09-05 06:30

    Arm平台安全架构固件框架1.0

    Arm的平台安全架构(PSA)是一套完整的: •威胁模型。 •安全分析。 •硬件和固件体系结构规范。 •开源固件参考实施。 •独立评估和认证方案——PSA CertifiedTM。 PSA提供了一个
    发表于 08-08 07:14

    基于分级安全的OpenHarmony架构设计

    ,OpenHarmony技术指导委员会安全及机密计算TSG负责人,华为公司科学家委员会副首席科学家,终端BG/车BU首席安全架构师,安全SEG Leader。主要负责HarmonyOS
    发表于 08-04 10:39

    STM32功能安全设计包新架构介绍及使用技巧分享

    电子发烧友网站提供《STM32功能安全设计包新架构介绍及使用技巧分享.pdf》资料免费下载
    发表于 07-29 11:32 2次下载
    STM32功能<b class='flag-5'>安全</b>设计包新<b class='flag-5'>架构</b>介绍及使用技巧分享

    什么是SELinuxSELinux如何工作?

    SELinux 是一种安全增强型 Linux 安全模块,用于控制 subjects(例如程序、进程等)访问 objects(例如文件、设备等)的权限和可访问性。
    的头像 发表于 05-15 09:48 748次阅读