改进的Android强制访问控制模型

合集下载

一个XML数据库强制访问控制模型

的系统要求支持强制访问控制策略。本文建立了一个ＸＭＬ对象的分解与合成规则，此基础上提出了一个支持多在
实例的多级安全ＸＬ数据库模型，出了其体系结构和安全策略，且对其安全性进行了分析。本文的研究结果可Ｍ给并
维普资讯
计算机科学２０Ｖ１３Ｎ．００７ｏ．４强制访问控制模型
冯学斌洪帆
（中科技大学计算机学院武汉４０７）华３０４
摘要目前关于ＸＭＬ数据库安全性的研究大多是基于自主访问控制或者基于角色的访问控制，然而高安全等级
２基本ＸＭＬ数据模型
这一节，我们首先介绍一个ＸＭＬ的基本模型＿，７然后在］
该模型上定义分解与合成规则。由于该模型简单直观，结在
构上和ＸＭＬ直接对应，因此很容易实现ＸＭＬ数据与模型的
相互转换。
应用，结合这些应用领域的需求，提出了许多具体的数据表示标准，例如数学标记语言（ｔＭＬ、Ｍａｈ）化学标记语言（ＭＬＣ）
以为信息敏感部门处理半结构化信息提供理论模型上的支持。
关键词ＸＬ数据库，Ｍ多级安全，实例，全模型多安
ＡａｄｔｒｃｓｎｔｏｏｌｆｒＸＭＬｔｂｓＭｎａｏｙＡｃｅｓＣｏｒｌＭｄｅｏＤａａａｅ
ＡｂｔａｔＸＭＬｄｔｂｓｒｌｙｎｎｒａｉｇｙｉｐｒａｔｒｌｅｐｌａｉｎ．ＲｅｅｒｈｒｆＸＭＬａａａｅｓ－ｓｒｃａａａｅａｅｐａｉｇｉｃｅｓｎｌｏｔｎｏｅｉＷｂａｐｉｔｓｍｎｃｏｓａｃｅｓｏｄｔｂｓｅｃｒｔａｅｐｉｒｔｅｔｎＯｉｃｅｉｎｌｃｅｓｃｎｒｌａｄｒｌ－ａｅｃｅｓｃｎｒｌａｈｒｔａｎａｏｙａ－ｕｉｙｈｖａｄｍｏｅａｔｎｉｎｄｓｒｔａａｃｓｏｔｏｎｏｅｂｓｄａｃｓｏｔｏ，ｒｔｅｈｎｍａｄｔｒｃｏｏｔｓｏｔｏｉｈａｅｒｑｉｄｂｈｏｅｕｉｐｌａｉｎ．ＡｎａｏｙａｃｓｏｔｏｄｌｆｒＸＭＬｄｔｂｓｅｓｃｎｒｌｗｈｃｒｅｕｒｙｔｅｔｐｓｃｒｔａｐｉｔｓｅｙｃｏｍａｄｔｒｃｅｓｃｎｒｌｍｏｅｏａａａｅｗｈｃｕｐｒｓｐｌｉｓａｔｔｎｂｓｎｅｏｖｎｎｏｐｓｎｌｏｉｍｙｔｘｌｖｌｓｐｏｏｅｎｐｐｒｉｈｓｐｏｔｏｙｎｔｎｉｉｙｕｉｇｒｓｌｉｇａｄｃｍｏｉｇａｇｒｔａｏｈｉｓｎａｅｅｒｐｓｄｉａｅ．Ｔｈｎｉｅａｃｉｅｔｒｎｈｅｕｉｒｌｏｄｓｕｓｄｉｈａｅ．ｒｈｔｃｕｅａｄｔｅｓｃｒｔａｅａｓｉｃｓｅｎｔｅｐｐｒｙＫｅｗｏｄＸＭＬｄｔｂｓ，Ｍｕｔｌｖｌｓｃｒｔ，Ｐｌｉｓａｔａｉｎ，Ｓｃｒｔｄｌｙｒｓａａａｅｌｅｅｅｕｉｙｉｏｙｎｔｎｉｔｏｅｕｉｙｍｏｅ

基于动态权限集的Android强制访问控制模型

摘要针对Ａｎｄｒｏｉｄ存在的特权提升攻击问题，提出了基于动态权限集的Ａｎｄｒｏｉｄ强制访问控制模型ＤＰ — Ｍａｎ —
Ｄｒｏｉｄ。该模型首先分析强连通分支的权限分布特性，构建动态的权限集划分；然后在信息流与权限集耦合的基础上，抽象权限提升路径；最后提出线性时间的访问控制算法，并通过动态追踪权限集，实现了细粒度的决策控制。与现有安全模型的对比，以及在原型系统上的仿真结果表明，所提出的安全模型很好地抵御了特权提升攻击，同时降低了时
ｍａｎｄａｔｏｒｙａｃｃｅｓｓｃｏｎｔｒｏｌｍｏｄｅ１ｂａｓｅｄｏｎｔｈｅｄｙｎａｍｉｃｐｒｉｖｉｌｅｇｅｓｅｔ．Ｔｈｅｍｏｄｅｌａｎａｌｙｚｅｓｔｈｅｐｒｉｖｉｌｅｇｅｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｓｔｒｏｎｇｌｙｃｏｎｎｅｃｔｅｄｃｏｍｐｏｎｅｎｔａｎｄｃｏｎｓｔｒｕｃｔｅｓｔｈｅｐｒｉｖｉｌｅｇｅｐａｒｔｉｔｉｏｎ．Ｃｏｕｐｌｉｎｇｔｈｅｉｎｆｏｍａｒｔｉｏｎｆｌｏｗｔｏｇｅｔｈｅｒｗｉｔｈｐｒｉｖｉ — ｌｅｇｅｓｅｔ，ｔｈｅｐｒｉｖｉｌｅｇｅｅｓｃａｌａｔｉｏｎｐａｔｈｉｓａｂｓｔｒａｃｔｅｄ．Ａｔｌａｓｔｔｈｅａｃｃｅｓｓｃｏｎｔｒｏｌａｌｇｏｒｉｔｈｍｗｈｉｃｈｈａｓｌｉｎｅａｒｃｏｍｐｌｅｘｉｔｙｗａｓｐｒｏｐｏｓｅｄ．Ｗｉｔｈｔｈｅｈｅｌｐｏｆｔｒａｃｋｉｎｇｔｈｅｐｒｉｖｉｌｅｇｅｓｅｔｓｄｙｎａｍｉｃａｌｌｙ，ｔｈｅｆｉｎｅｇｒａｉｎｅｄｄｅｃｉｓｉｏｎｓｔｒａｔｅｇｙｗａｓｒｅａｌｉｚｅｄ．Ｔｈｅ

android selinux规则

这些规则是通过SELinux策略文件（如sepolicy）定义和实施的。策略文件包含了一系列的规则和规范，用于指定哪些操作是允许的，哪些是禁止的。这些规则是根据Android系统的需求和安全策略来定义的，以确保系统的安全性和稳定性。
请注意，对于开发人员和终端用户来说，直接修改和管理SELinux规则是不常见的。通常情况下，应用程序开发人员和终端用户只需要遵守系统的安全策略，并确保应用程序的正常运行和安全性。
android selinux规则
在Android系统中，SELinux（Security-Enhanced Linux）是一种强制访问控制（MAC ）机制，用于保护系统的安全性。下面是一些常见的Android SELinux规则：
1. 文件访问规则：SELinux规定了哪些进程可以访问特定的文件和目录。例如，只有特定的系统服务才能访问敏感的系统配置文件。
2. 进程间通信规则：SELinux控制进程之间的通信，以防止恶意应用程序访问其他应用程序的敏感数据。例如，只有具有特定权限的应用程序才能访问网络通信。
android selinux规则
3. 网络访问规则：SELinux规定了哪些应用程序可以访问网络资源，以及它们可以访问的端口和协议。这有助于防止恶意应用程序通过网络传输恶意代码或窃取用户数据。
4. 进程权限规则：SELinux定义了每个进程的安全上下文，以确保进程只能执行其具有权限的操作。这有助于防止恶意应用程序获取不应有的权限。
5. 安全域规则：SELБайду номын сангаасnux通过定义安全域来隔离和保护不同的系统组件和应用程序。每个安全域都有自己的安全策略，以确保它们之间的隔离和互不干扰。
android selinux规则

研究生毕业设计论文计算机应用技术答辩 (Android系统安全增强机制)

制定一套默认的规则，供系统中的一般进程使用。为需要重点监控的域单独制定规则。对系统中所有的文件进行分组，按照安全级别，划归不同
的组。
Android系统安全增强机制设计
域架构
树形
执行过程与应用程序的包名共同决定域名
每个应用程序都属于一个独立的域，该域在系统中是唯一的
Android系统安全增强机制研究
学生：导师：
1 Android安全分析 2 强制访问控制（MAC）介绍 3 Android系统安全增强机制设计 4 Android系统安全增强机制实现 5 系统测试 6 展望
Android安全分析
便携设备
以Linux 为基础
Android
开放源代码
近几年Android得到了快速发展,市场占有率不断上升,各种应用不断涌现,随之而来的是设备信息安全问题不断曝光,Android 系统的安全性成为研究热点。
Android安全分析
Linux内核层
数据安全机制 (UID)
自主访问控制（DAC）
Android 安全机制
Android应用层
应用程序权限控制签名机制
Android安全分析
缺陷存在的原因
控制粒度较大
• 自主访问控制将用户简单的分为三个组，按组授权。
• 应用程序申请的权限以集合方式出现，不可拆分。
强制访问控制（MAC）介绍
主体
策略
客
主体
策略
体
主体
策略
Android系统安全增强机制设计
设计目标
系统当中的所有进程的所有动作都必须经过强制访问控制的审核
Linux安全模块
系统当中的所有进程的所有动作都必须遵循策略规则的限制

Android 中的安全性和权限

Android 中的安全性和权限Android中的安全性和权限Android操作系统的安全性一直是人们关注的焦点之一。

由于Android设备的广泛使用和移动互联网的普及，保护用户的数据和隐私变得尤为重要。

为了确保用户信息的安全，与其他操作系统相比，Android系统提供了一系列的安全性措施和权限管理机制。

1. 安全性措施1.1 安全启动（Secure Boot）Android采用了安全启动技术，确保在启动过程中只能加载和运行经过验证的安全代码和签名文件。

这一措施有效防止恶意软件的运行和拦截。

1.2 应用程序隔离Android系统根据每个应用程序的用户ID为其分配独立的运行空间，以避免应用程序之间的相互干扰和数据泄漏。

这样的设计可以有效隔离应用程序的权限和数据。

1.3 强制访问控制Android系统引入了强制访问控制（MAC）机制，每个应用程序都有其自己的安全策略，以决定其对系统资源的访问权限。

这种机制可以防止恶意应用程序通过欺骗或者绕过权限限制来获取用户数据。

2. 权限管理机制2.1 权限分类Android系统将权限分为普通权限和危险权限两类。

普通权限通常是对应用程序功能正常运行所需要的权限，而危险权限则涉及用户敏感数据和系统功能的访问。

危险权限需要用户在应用安装过程中明确授权。

2.2 动态权限在Android 6.0（Marshmallow）及更高版本中，系统引入了动态权限机制。

对于涉及危险权限的操作，应用程序需要在运行时向用户请求相应的权限，用户可以选择授权或者拒绝。

这样的机制更加灵活，用户可以控制每个应用程序对其数据和设备的访问。

2.3 权限回调Android系统提供了权限回调机制，当应用程序请求权限并得到用户授权或拒绝后，系统会调用相应的回调方法，应用程序可以根据回调结果做出适当的响应。

3. 安全性挑战和对策3.1 恶意软件由于Android设备的开放性和应用程序的自由发布，恶意软件的威胁一直存在。

MacDroid：一种Android轻量级内核层强制访问控制框架

第44卷第11A期2017年11月计算机科学COMPUTER SCIENCEVol.44 No. 11ANov.2017MacDroid:—种Android轻量级内核层强制访问控制框架李尼格马媛媛陈牧陈璐徐敏(全球能源互联网研究院信息通信研究所南京210003)摘要智能移动终端已成为移动互联网时代重要的信息处理平台，其面临的安全威胁越来越严重，针对传统计算机的安全防护架构已无法适应智能移动终端安全防护的特殊需求。

通过对智能移动终端操作系统的特点和层次进行分析，设计了一种轻量级内核层强制访问控制框架——MacDroid，深入研究了 MacDroid的安全策略定义、安全策略编译、安全策略实施等关键问题。

提出了 MacDroid的安全策略描述语言——PSL，对PSL的词法和语法进行了形式化定义。

最后通过实验测试了 MacDroid访问控制框架对智能移动终端不同层的恶意软件行为的控制效果。

实验结果表明，MacDroid框架对Android智能移动终端应用层、本地层和内核层的恶意软件行为均有较好的控制效果。

关键词安卓，内核，强制访问控制，恶意软件检测中图法分类号TP309 文献标识码AMacDroid： A Lightweight Kernel-level Mandatory Access Control Framework for AndroidLINi-ge MA Yuan-yuan CHEN Mu CHEN Lu XU Min(Institute of Information and Communication,Global Energy Interconnection Research Institute,Nanjing 210003,China) Abstract Smart terminal has become an important information processing platform in the mobile Internet era, and its security threats are becoming more and more serious. The security protection architecture for traditional computers has been unable to meet the special needs of smart terminal security protection. By analyzing the characteristics and levels of the smart terminal operating system, a lightweight kernel-level mandatory access control framework (MacDroid) was designed. The key issues of MacDroid security policy definition, security policy compilation, security policy implementation and so on were deeply studied in this paper. The MacDroid security policy description language(PSL) was proposed and the PSL lexical and grammar formal definition were given. Finally, the effect of MacDroid access control framework on the behavior of different layers of intelligent mobile terminals was evaluted. The experimental results show that the MacDroid framework has good control effect on application layer, native layer and kernel layer malware behavior of Android smart terminal.Keywords Android,Kernel,Mandatory access control,Malware detection1引言传统的操作系统保护依赖于安全策略，系统安全管理员通过分析应用程序的安全策略可决定应用程序在运行时的权限。

Android权限模型的研究和改进

Ａｎｄｒ０ｉｄ所使用的权限模型在Ａｎｄｒｏｉｄ中有许多优点，可以有效地防止恶意软件，同时也告知用户。我们对Ａｎｄｒｏｉｄ权限模型进行分析的主要目标
是：
是．Ａｎｄｒｏｉｄ可以让任何第三方应用程序定义新的
有ＸＭＬ实体类型的使用权限
我们的数据集包含了来自广泛的、不同类型开发者所开发的应用（一千多个）．当我们期望这种数据集既有代表性而又有多样性时．选择一个最佳
的应用软件标准可能对滤除掉那些写得不好的应用
第３期
黄景全等：Ａｎｄｒｏｉｄ权限模型的研究和改进
的是ＡｎｄｒｏｉｄＯＳ的权限模型的分析Ａｎｄｒｏｉｄ使
费：保持设备屏幕或者访问振动器．这会非常耗费
用ＡＣＬ调解进程间通信（ＩＰＣ）来控制设备上的特殊功能的访问（例如：ＧＰＳ、接收器、短信和振动等）Ａｎｄｒｏｉｄ开发者必须在Ａｎｄｒｏｉｄｍｅｎｉｆｅｓｔ．ｘｍｌ中
１Ａｎｄｒｏｉｄ权限模型介绍
１．１背景
Ａｎｄｒｏｉｄ是一个基于ｌｉｎｕｘ系统而建立的开发平台．目前主要应用于智能手机、平板电脑等终端设备中Ａｎｄｒｏｉｄ有很强的安全性．并且致力于解决

基于Android平台的访问权限机制优化方案

限定向分为４类，获取不同权限组合的种类，量化其权限组合的安全威胁值，同时考虑免费应用程序更有可能是恶意程序
的特点，通过应用程序权限安全威胁值判断其安全威胁级别。实验结果表明，该方案能有效区分应用程序的安全威胁级别，准确判断应用程序的安全威胁程度，提高Ａｎｄｒｏｉｄ访问控制安全性。
［Ａｂｓｔｒａｃｔ］ＴｏｉｍｐｒｏｖｅｔｈｅｐｒｏｂｌｅｍｏｆｔｈｅｓｅｃｕｒｉｔｙｏｆＡｎｒｏｄｉｄａｃｃｅｓｓｐｅｒｍｉｓｓｉｏｎｍｅｃｈａｎｉｓｍ，ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓａｎｏｐｔｉｍｉｚａｔｉｏｎ
ａｐｐｌｉｃａｔｉｏｎｓａｒｅｍｏｒｅｌｉｋｅｌｙｏｒｆｍａｌｉｃｉｏｕｓａｐｐｌｉｃａｔｉｏｎｓｔｈａｎｐａｉｄａｐｐｌｉｃａｔｉｏｎｓｉｎｔｏｃｏｎｓｉｄｅｒａｔｉｏｎ，ｏｒｆｊｕｄｇｉｎｇａｐｐｌｉｃａｔｉｏｎｓｅｃｕｒｉｔｙ
关健词：Ａｎｄｒｏｉｄ平台；访问权限；权限分类；权限组合；安全威胁值；定向分类
ＯｐｔｉｍｉｚａｔｉｏｎＳｃｈｅｍｅｏｆＡｃｃｅｓｓＰｅｒｍｉｓｓｉｏｎＭｅｃｈａｎｉｓｍ
ＢａｓｅｄｏｎＡｎｄｒｏｉｄＰｌａｔｆｏｒｍ

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

有较好防御能力的ＸＭａｎＤｒｏｉｄ模型，针对该模型存在无法检测多应用多权限合谋攻击的问题，采用构建进程间通信连接图并利用有色图记录应用通信历史的方法，提出了一种基于通信历史的细粒度强制访问控制模型。对原型系统的测试结果表明：所提出的模型能够很好地解决ＸＭａｎＤｒｏｉｄ模型存在的问题。
蒋绍林，王金双，于晗，张涛，陈融
（解放军理工大学指挥信息系统学院，南京２１０００７）
（｝通信作者电子邮箱ｊｉａｎｇ＿ｓｈａｏｌｉｎ一１９８８＠１６３．ＣＯｌｌ１）
摘
要：为了降低Ａｎｄｒｏｉｄ平台受应用层权限提升攻击的可能性，研究分析了对利用隐蔽信道进行的合谋攻击具
ａｎｌｙａｚｅｄｔｈｅＸＭａｎＤｒｏｉｄａｃｃｅｓｓｃｏｎｔｒｏｌｍｏｄｅｌ，ｗｈｉｃｈｈａｓｂｅｔｔｅｒａｂｉｌｉｔｙｏｎｉｆｇｈｔｉｎｇｔｈｅｓｅａｔｔａｃｋｓ，ｅｓｐｅｃｉｌｌａｙｔｈｅｃｏｌｌｕｓｉｏｎａｔｔａｃｋＯｉｌｔｈｅｃｏｖｅ￣ｃｈａｎｎｅ１．ＴｏａｄｄｒｅｓｓｈｅｔｐｒｏｂｌｅｍｔｈａｔＸＭａｎＤｏｉｒｄｃｏｕｌｄｎｏｔｄｅｔｅｃｔｔｈｅｍｕｌｔｉ — ａｐｐｌｉｃａｔｉｏｎｎｄａｍｕｌｔｉ — ｐｅｍｉｒｓｓｉｏｎｓｃｏｌｌｕｓｉｏｎａｔｔａｃｋｓ，ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｄａｎｉｍｐｏｖｒｅｄｍａｎｄａｔｏｒｙａｃｃｅｓｓｃｏｎｔｒｏｌｍｏｄｅｌｗｈｉｃｈｒｅｃｏｒｄｅｄｔｈｅｃｏｍｍｕｎｉｃａｔｉｏｎｈｉｓｔｏｒｙｏｆａｐｐｌｉｃａｔｉｏｎｓｂｙｂｕｉｌｄｉｎｇａｎＩＰＣｌｉｎｋｓｃｏｌｏｒｅｄｄｉａｇｒａｍ．Ａｔｌａｓｔ，ｔｈｅｔｅｓｔｒｅｓｕｌｔｏｎｈｅｔｐｒｏｔｏｔｙｐｅｓｙｓｔｅｍｓｈｏｗｔｈａｔｔｈｅｎｅｗｍｏｄｅｌｃａｎｓｏｌｖｅｔｈｅｐｒｏｂｌｅｍｉｎｔｈｅＸＭａｎＤｏｉｒｄｗｅｌ１．Ｋｅｙｗｏｒｄｓ：Ａｎｄｏｉｒｄｓｙｓｔｅｍ；ｐｅｍｉｒｓｓｉｏｎ；ｓａｎｄｂｏｘ；ｍａｎｄａｔｏｙｒａｃｃｅｓｓｃｏｎｔｒｏｌ；ｐｒｉｖｉｌｅｇｅｅｓｃｌａａｔｉｏｎａｔｔａｃｋ
Ａｂｓｔｒａｃｔ：ＩｎｏｒｄｅｒｔｏｐｏｔｒｅｃｔＡｎｄｒｏｉｄｐｌａｔｆｏｒｍｓｆｒｏｍｔｈｅ印ｐｌｉｃａｔｉｏｎ — ｌｅｖｅｌｐｒｉｖｉｌｅｇｅｅｓｃｌａａｔｉｏｎａｔｔａｃｋｓ，ｔｈｉｓｐａｐｅｒ
ＪＩＡＮＧＳｈａｏｌｉｎ，ＷＡＮＧＪｉｎｓｈｕａｎｇ，ＹＵＨａｎ，ＺＨＡＮＧＴａｏ，ＣＨＥＮＲｏｎｇ
（ＣｏｌｌｅｇｅｏｆＣｏｍｍａｎｄＩｎｆｏｒｍａｔｉｏｎＳ￣ｔｅｍ，ＰＩＡＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＮａｎｊｉｎｇＪｉａｎｇｓｔｔ２１０００７，Ｃｈｉｎａ）
关键词：安卓系统；权限机制；安全沙盒；强制访问控制；权限提升攻击
中图分类号：ＴＰ３０Fra bibliotek９．１文献标志码：Ａ
ＩｍｐｒｏｖｅｄｍａｎｄａｔｏｒｙａｃｃｅｓｓｃｏｎｔｒｏｌｍｏｄｅｌｆｏｒＡｎｄｒｏｉｄ
ＪｏｕｒｎａｌｏｆＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓ
ＩＳＳＮ１００１．９０８１
２０１３— ０６．０１
计算机应用，２０１３，３３（６）：１６３０—１６３６
文章编号：１００１ —９０８１（２０１３）０６— ０１６３０— ０７
Ｃ０ＤＥＮＪＹＩＩＤＵ
ｈｔｔｐ：／／ｗｗｗ．ｊＯｖａ．ｅｎ
ｄｏｉ：１０．３７２４／ＳＰ．Ｊ．１０８７．２０１３．０１６３０
改进的Ａｎｄｒｏｉｄ强制访问控制模型