污点机器人

TaintDroid：一个用于智能手机实时隐私监控的信息流跟踪系统。今天的智能手机操作系统经常无法为用户提供足够的控制和可见性，以了解第三方应用程序如何使用其私有数据。我们使用TaintDroid解决这些缺点，这是一个高效的、全系统的动态污点跟踪和分析系统，能够同时跟踪多个敏感数据源。TaintDroid通过利用Android的虚拟化执行环境提供实时分析。TaintDroid在一个CPU绑定的微基准测试上只会产生14%的性能开销，并且对交互的第三方应用程序的开销可以忽略不计。通过使用TaintDroid监控30个流行的第三方Android应用程序的行为，我们发现20个应用程序中有68个可能滥用用户隐私信息的实例。使用TaintDroid监控敏感数据为手机用户提供了第三方应用程序的知情使用，并为寻求识别不良应用程序的智能手机安全服务公司提供了有价值的输入。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献8条)

显示第1到第8个结果，共8个。
按年份排序(引用)

  1. 费拉拉，皮埃特罗；奥利维里，卢卡；Spoto，Fausto:\textsfBackFlow:污染分析结果的反向上下文敏感流重建（2020年）
  2. 萨哈巴迪纳；穆特道斯，莎娜；艾伦，乔伊；布什内尔，琳达；李文科；Poovendran，Radha:具有强化学习的随机动态信息流跟踪博弈（2019）
  3. 布雷特，诺尔；乌麦尔锡迪克；Bonakdarpour，Borzoo:alternation free HyperLTL基于重写的运行时验证（2017）
  4. 斯科沃罗达，A.A。；Gamayunov，D.Y.：使用许可和API调用模型自动静态分析和分类android恶意软件（2017）
  5. 德米特里科，亚历山德拉；利伯臣，克里斯托弗；罗索，基督徒；Sadeghi，Ahmad Reza:论移动双因素认证的（in）安全性（2014）ioport公司
  6. 卢埃索，卢埃萨；Caires，Luís:值索引数据安全分区的信息流分析（2014）
  7. 朱海燕；迪利格，托马斯；Dillig，Isil:源-接收器属性验证库规范的自动推理（2013）
  8. 芬尼斯，约书亚；赛加尔，纳林；亚曼尼奇，阿德里安娜；Ligatti，Jay:移动设备的基于位置的策略规范语言（2012）ioport公司