Android 权限系统安全属性形式化规约与验证框架
密码学与安全
2022-03-21 v1 操作系统
摘要
Android 是广泛部署的采用基于权限的访问控制模型的操作系统。Android 权限系统（APS）负责调解来自应用程序的资源请求。APS 是 Android 安全机制的关键组件。APS 设计中的缺陷可能导致漏洞，使恶意应用获得对资源的未授权访问。研究人员已采用形式化方法分析 APS 的安全属性。由于 Android 不断发展，我们旨在设计并实现用于 APS 安全属性形式化规约与验证的框架。特别地，我们旨在提出一个 APS 的行为模型，表示 Android 10 引入的非二元、上下文相关权限以及 Android 11 引入的临时权限。
引用
@article{arxiv.2203.09857,
title = {A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System},
author = {Amirhosein Sayyadabdi},
journal= {arXiv preprint arXiv:2203.09857},
year = {2022}
}
备注
To be presented at the EuroSys Doctoral Workshop 2022