SELint：一个 SEAndroid 策略分析工具
密码学与安全
2017-03-14 v3
摘要
SEAndroid 强制实施目前对 Android 设备已是强制性的。为了给其产品提供所需的安全级别，Android 原始设备制造商(OEM)需要能够尽量减少在编写 SEAndroid 策略时的错误。然而，现有的 SEAndroid 和 SELinux 工具对此用途并不十分有用。已有研究表明，多个制造商市售设备中的 SEAndroid 策略包含错误和冗余。本文我们提出一个新工具 SELint，旨在帮助 OEM 生成更好的 SEAndroid 策略。SELint 是可扩展且可配置的，以适应不同 OEM 的需求。它提供了基于 AOSP SEAndroid 策略的默认配置，但可由 OEM 定制。
引用
@article{arxiv.1608.02339,
title = {SELint: an SEAndroid policy analysis tool},
author = {Elena Reshetova and Filippo Bonazzi and N. Asokan},
journal= {arXiv preprint arXiv:1608.02339},
year = {2017}
}
备注
12 pages