DroidGen：面向 Android 的基于约束与数据驱动的策略生成
密码学与安全
2016-12-23 v1 编程语言
软件工程
摘要
我们提出了 DroidGen，一个用于自动反恶意软件策略推断的工具。DroidGen 采用数据驱动方法：它使用包含恶意软件和良性应用的训练集，并调用约束求解器生成策略，使得在该策略下最多数量的恶意软件被排除，且最多数量的良性应用被允许。初步结果令人鼓舞。我们能够自动生成过滤掉 91% 已测试 Android 恶意软件的策略。此外，与黑盒机器学习分类器相比，我们的方法具有以声明式可读格式生成策略的优势。我们说明了我们的方法，描述了其实现，并报告了初步结果。
引用
@article{arxiv.1612.07586,
title = {DroidGen: Constraint-based and Data-Driven Policy Generation for Android},
author = {Mohamed Nassim Seghir and David Aspinall},
journal= {arXiv preprint arXiv:1612.07586},
year = {2016}
}