• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Asia-Pacific Software Engineering Conference >Multi-Process Runtime Verification for Android
【24h】

Multi-Process Runtime Verification for Android

机译：Android的多进程运行时验证

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

With the popularity of Android, a huge number of Android apps appear in different markets. As some apps pose significant security risks, it is important to support runtime monitoring and verification on Android. Existing runtime verification frameworks only focus on verifying the events within a single process, ignoring that Android is a multi-process system where different components communicate frequently, and thus lack the ability to analyze and monitor behaviors across app processes. In this paper, we introduce our new runtime verification framework for Android, capable of performing runtime verification across multiple Android components in different processes. Our approach features an extended regular expression formalism, allowing one to specify complete analyses covering the whole Android system. We illustrate the use of our framework with an Android service characterization study and a monitor for permission (mis) use in apps.
机译：随着Android的普及，大量的Android应用程序出现在不同的市场中。由于某些应用程序构成了严重的安全风险，因此支持对Android的运行时监控和验证非常重要。现有的运行时验证框架仅关注验证单个过程中的事件，忽略Android是一个多进程系统，其中不同的组件经常通信，因此缺乏分析和监视应用程序过程的行为的能力。在本文中，我们向Android介绍了我们的新运行时验证框架，能够在不同进程中跨多个Android组件执行运行时验证。我们的方法具有扩展的正则表达式形式主义，允许一个人指定覆盖整个Android系统的完整分析。我们说明了我们的框架与Android服务表征研究和监视器在应用程序中使用了许可（MIS）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号