arXiv 2104.092452021-04-19cs.SE

智能城市数字交通卡Android应用程序：征求建议

An Android App for Digital Transport Cards of Smart City: Request for Suggestions

Qiaoli Wang

摘要：

本文提供了一个路线图，设计全球数字交通卡应用（GDTCA）。GDTCA是一个Android应用程序，人们可以在线获得任何城市的数字交通卡并在本地使用。人们可以通过使用GDT Cards App充值或提取交通卡。值得注意的是，这样的应用程序将根据环境的稀疏性具有不同的本地学习体验，可以使用联邦学习和传输协议进行聚合。

英文摘要：

This paper provides a roadmap for designing the Global Digital Transport Cards Application (GDTCA). GDTCA is an Android Application for people to get a digital transport card online for any city and use it locally. People can top up or withdraw the transport card by using GDT Cards App. It is worth noting that such an application will have different local learning experiences based on the sparsity of the environments, which can be aggregated using federated learning and transport protocols.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

你的隐私被记录了吗？关于Android应用日志的实证研究

Is Your Private Information Logged? An Empirical Study on Android App Logs

Rochester Institute of Technology（罗切斯特理工学院）；University of Waterloo（滑铁卢大学）

本研究通过构建Android应用日志数据集，分析隐私泄露现状及原因，揭示开发者对隐私问题的关注，并提出隐私保护建议。

2026-02-17cs.SE

Android应用中常用库使用情况调查

An Investigation into the Use of Common Libraries in Android Apps

Android应用程序的打包模型要求将执行应用程序所需的整个代码运送到一个apk文件中。因此，对Android应用程序的分析通常会访问不属于应用程序功能的代码。这些代码通常由所有应用程序普遍使用的公共库提供。不幸的是，Android分析，例如，对于捎带检测和恶意软件检测，如果不考虑库代码的情况，可能会产生不准确的结果，因为库代码构成了应用程序功能中的噪声。尽管在研究Android库方面做出了一些努力，但Android研究的势头尚未产生一套完整的通用库，以进一步支持对Android应用程序的深入分析。在本文中，我们利用来自Google Play的约150万个应用程序的数据集来收集潜在的通用库，包括广告库。经过几步改进，我们最终收集了迄今为止最大的1，113个支持常见功能的库和240个用于广告的库。我们使用数据集来调查Android库的几个方面，包括它们的流行程度及其在Android应用程序代码中的比例。基于这些数据集，我们进一步进行了一些实证调查，以确认我们工作背后的动机。

2015-11-20cs.SE

Columbus：通过系统回调探索进行Android应用测试

Columbus: Android App Testing Through Systematic Callback Exploration

随着Android移动设备的不断普及，应用程序的自动化测试变得比以往任何时候都更加重要。Android应用程序是事件驱动的程序。不幸的是，通过与应用程序的界面交互来生成所有可能类型的事件对于自动化测试方法来说是一个挑战。回调驱动的测试通过直接调用应用回调消除了事件生成的需要。然而，现有的回调驱动测试技术假设Android回调的先验知识，并且它们依赖于熟悉Android API的人类专家来编写在调用之前准备回调参数的存根代码。由于Android API庞大且不断发展，现有技术只能支持Android框架中存在的一小部分回调。在这项工作中，我们介绍了Columbus，一种回调驱动的测试技术，它采用两种策略来消除对人类参与的需求：（i）它通过同时分析Android框架和测试中的应用程序来自动识别回调，以及（ii）它使用了一种组合，（原始参数）和类型引导的动态堆内省（对象参数）来生成有效的输入。最后，Columbus在测试过程中集成了两种新的反馈机制--数据依赖和崩溃指导，以增加触发崩溃的可能性，并最大限度地提高覆盖率。在我们的评估中，Columbus在崩溃和覆盖率方面都优于最先进的模型驱动、基于检查点和回调驱动的测试工具。

2023-02-17cs.SE

你要打给谁？分析Android应用程序中的Web请求

Who you gonna call? Analyzing Web Requests in Android Applications

依赖于无处不在的互联网连接，移动设备上的应用程序在执行期间频繁地执行Web请求。它们获取数据供用户交互、调用远程功能或发送用户生成的内容或元数据。这些请求共同揭示了移动应用程序开发的常见做法，例如使用了哪些外部服务以及如何使用，并且它们指出了可能的负面影响，例如安全和隐私侵犯，或对电池寿命的影响。在本文中，我们评估了不同的方法来分析Android应用程序发出的Web请求。我们首先展示从运行20个随机选择的Android应用程序中收集的动态数据，并观察它们的网络活动。接下来，我们介绍一个静态分析工具Stringoid，它分析Android应用程序中的字符串连接，以估计构造的URL字符串。我们使用Stringoid从30，000个Android应用程序中提取URL，并将其性能与更简单的常量提取分析进行比较。最后，我们提出了一个动态和静态分析提取URL时的优势和局限性的讨论，因为我们比较了从相同的20个应用程序中提取的数据与动态收集的数据。

2017-05-19cs.SE

CAT：以变化为中心的Android GUI测试

CAT: Change-focused Android GUI Testing

Android应用每隔几周就会更新一次，以跟上不断变化的用户、硬件和业务需求。通过广泛的测试检查应用程序更新的正确性。最近的研究提出了在Android应用中自动生成GUI事件的工具。然而，这些技术在检查应用程序更新时效率不高，因为生成的GUI事件不会优先考虑更新，而是探索其他应用程序行为。我们在本文中使用CAT（Change-focused Android GUI Testing）解决了这一需求。对于应用程序更新，CAT会在源代码或GUI级别执行变更影响分析，以识别受更新影响的GUI元素。CAT然后生成长度为3的GUI事件序列，以与这些GUI元素交互。我们使用21个公开的开源Android应用程序进行的实证评估表明，CAT能够自动识别受应用程序更新影响的GUI元素，生成并执行长度为3的GUI事件序列，重点关注受变化影响的GUI元素。与两个流行的GUI事件生成工具DroidBot和DroidMate的比较显示，CAT在与受更改影响的GUI元素交互方面更有效。最后，CAT能够在两个应用程序中检测到以前未知的与更改相关的错误。

2020-11-23cs.SE

DPerm：协助Android应用迁移到Android

DPerm: Assisting the Migration of Android Apps to Runtime Permissions

Android应用在访问与隐私或系统完整性相关的资源时需要权限。从Android 6开始，必须在运行时询问这些权限。然而，迁移到新的权限模型给开发人员带来了许多挑战。首先，开发人员必须发现应用在何处使用权限，这需要权限规范。到目前为止，已经建立了几个这样的规范，但这些规范要么不精确，不完整，要么不支持所有类型的受保护资源。我们首先介绍DPSpec，这是一种基于Android SDK提供的几种文档格式构建的新型权限规范。与最先进的规范相比，它包含2.5倍的受保护方法条目，并在超过两倍的应用程序中检测危险的权限使用。开发人员面临的第二个挑战是在哪里插入权限请求，可能的位置受到请求机制的限制。我们还介绍了DPerm，这是一种针对Android应用程序的静态分析，可以在代码中推荐权限请求的位置。它通过上下文敏感性实现高精度，并通过通用的调用图增强算法对不完整的代码提高召回率。我们对32个应用程序的实证评估显示，准确率为96%，召回率为89%。

2017-06-15cs.SE

更多相关论文收起更多论文

Android应用程序中的权限问题：分类、实践和前进方向

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward

Android引入了新的权限模型，允许应用在运行时请求权限，而不是在6.0（Marshmallow，API级别23）之后的安装时请求权限。虽然这种运行时权限模型为用户提供了更大的灵活性来控制应用对敏感数据和系统功能的访问，但它也给应用开发带来了新的挑战。首先，由于用户可以在使用应用程序时随时授予或撤销权限，因此开发人员需要确保应用程序在调用任何受权限保护的API之前正确检查并请求所需的权限。其次，Android的权限机制不断发展，并由设备制造商定制。开发人员需要在不同的Android版本和设备型号上全面测试他们的应用程序，以确保在所有情况下都能正确请求权限。不幸的是，这些要求对开发人员来说往往是不切实际的。在实践中，许多Android应用程序都会遇到各种运行时权限问题（ARP问题）。虽然现有的研究已经探讨了ARP问题，但对这些问题的理解仍然是初步的。为了更好地描述ARP问题，我们使用135个讨论ARP问题的Stack Overflow帖子和GitHub上流行的开源Android项目中存档的199个真实ARP问题进行了实证研究。通过分析数据，我们观察到了Android应用中常见的11种ARP问题。此外，我们对从业人员进行了实地调查和深入访谈，以获得行业实践的见解，并了解从业人员对有助于解决ARP问题的工具的需求。我们希望我们的研究结果可以阐明未来的研究，并为从业者提供有用的指导。

2021-06-24cs.SE

MobiCoMonkey -Android应用的上下文测试

MobiCoMonkey - Context Testing of Android Apps

许多移动应用程序的功能取决于各种上下文、外部因素。根据不可预见的情况，移动应用程序甚至可能出现故障或崩溃。在本文中，我们介绍了一种自动化工具，允许开发人员针对自定义或自动生成的上下文场景测试应用程序，并通过模拟器帮助检测可能的错误。此外，它还报告了错误和上下文因素之间的联系，以便以后可以重现错误。它利用Android SDK和logcat提供的工具来注入事件并捕获应用程序执行的痕迹。

2018-04-07cs.SE

基于最小权限集识别的Android应用风险评估框架

An Android Application Risk Evaluation Framework Based on Minimum Permission Set Identification

Android利用要求应用请求访问敏感用户数据的权限的安全机制，例如，联系人和SMS，或某些系统特征，例如，摄像头和互联网接入。然而，Android应用程序往往过于特权，即，他们经常请求比必要的更多的许可。这引起了过度特权的安全问题。为了缓解过度权限问题，本文提出了MPDroid，它结合了静态分析和协同过滤，根据应用描述和API使用情况来确定Android应用的最小权限。给定一个应用，MPDroid首先通过协同过滤来确定应用的初始最小权限，然后通过静态分析来确定应用真正需要的最终最小权限。最后，它通过检查应用程序的额外特权来评估过度特权风险，即，应用程序请求的不必要的权限。实验在从Google Play收集的16，343个流行应用程序上进行。结果表明，MPDroid的性能明显优于最先进的方法。

2020-01-23cs.SE

Ghera：Android应用程序漏洞基准测试库

Ghera: A Repository of Android App Vulnerability Benchmarks

移动应用程序的安全性影响其用户的安全。这推动了自动检测移动应用程序中的漏洞并帮助开发人员保护其应用程序的技术的发展;特别是在Android平台的背景下，由于平台的开放性和普遍性。尽管在这一领域进行了大量的研究工作，但没有包含大多数已知Android应用程序漏洞的最新和精简基准的综合存储库，因此，可以用于严格评估现有和新的漏洞检测技术，并帮助开发人员了解Android应用程序漏洞。在本文中，我们描述了Ghera，一个开源的基准测试库，它捕获了Android应用程序中的25个已知漏洞（作为被利用/良性和利用/恶意应用程序对）。我们还介绍了我们在创建Ghera时发现的漏洞基准和存储库的理想特征。

2017-08-08cs.CRcs.SE

Android应用程序合谋自动检测

Towards Automated Android App Collusion Detection

Android OS支持多种应用之间的通信方式。这为以协作方式实施威胁提供了可能性，参见。2011年的Soundcomber示例。在本文中，我们提供了一个简洁的定义，共谋和报告的自动检测方法，与英特尔安全合作开发。

2016-03-07cs.CRcs.SE

Android GDPR合规性保证的静态分析

Static Analysis for Android GDPR Compliance Assurance

许多Android应用程序收集用户的数据。当他们这样做时，他们必须根据当前的法律框架保护这些收集的数据。自欧盟推出《通用数据保护条例》（GDPR）以来，这种数据保护变得更加重要。应用程序开发人员在整个应用程序开发过程中对数据保护的推理工具支持有限。虽然许多Android应用程序都声明了隐私策略，但隐私策略合规性检查目前是手动的，成本高昂，并且容易出错。隐私审计的主要挑战之一是法律隐私声明（英文文本）与Android应用程序用于保护用户隐私的技术措施之间存在巨大差距。在这篇论文中，我们将探讨在多大程度上我们可以使用静态分析来回答有关数据保护的重要问题。我们的主要目标是设计一种基于工具的方法，帮助应用程序开发人员和审计人员确保基于自动静态程序分析的Android应用程序中的数据保护。

2023-03-16cs.CRcs.SE

BenchPress：分析Android应用程序漏洞Benchmark Suites

BenchPress: Analyzing Android App Vulnerability Benchmark Suites

近年来，开发了各种基准套件来评估Android安全分析工具的有效性。工具评估中使用的基准套件的选择通常基于套件的可用性和流行性，而不是基于它们的特性和相关性。作出这种选择的原因之一是缺乏关于成套基准的特点和相关性的信息。在这种情况下，我们根据经验评估了四个Android特定的基准测试套件：DroidBench，Ghera，IccBench和UBCBench。对于每个基准测试套件，我们确定了在Android应用程序开发的背景下在Stack Overflow上讨论的套件所使用的API，并在227 K真实世界应用程序的样本中测量了这些API的使用情况（覆盖率）。我们还比较了每对基准套件，以确定它们在API使用方面的差异。最后，我们确定了在真实世界的应用程序中使用的安全相关API，但没有在上述任何基准测试套件中使用，以评估扩展基准测试套件的机会（差距）。本文中的发现可以帮助1）Android安全分析工具开发人员选择最适合评估其工具的基准套件（通过覆盖率和成对比较获得信息）; 2）Android应用漏洞基准创建者开发和扩展基准套件（通过差距获得信息）。

2019-09-19cs.CRcs.SE

可视化安卓应用中与隐私相关的数据流

Visualizing Privacy-Relevant Data Flows in Android Applications

Paderborn University（帕德博恩大学）；Fraunhofer IEM（弗劳恩霍夫应用研究促进协会工业工程研究所）

研究安卓应用中隐私相关数据流，利用静态程序切片和软件可视化，开发SliceViz工具，经用户研究证明其能有效帮助开发者识别相关属性，表明程序切片可用于分析此类数据流，改进可用性将助力开发者处理隐私敏感信息。

2026-07-23cs.CRcs.SE

SeMA：一种构建安全Android应用的设计方法

SeMA: A Design Methodology for Building Secure Android Apps

UX（用户体验）设计师通过故事板直观地捕捉应用程序的UX。这种方法也用于Android应用程序开发，以概念化和设计应用程序。最近，安全性已成为Android应用程序UX不可或缺的一部分，因为移动应用程序用于执行银行、通信和健康等关键活动。因此，保护用户信息在移动应用程序中至关重要。在这种情况下，故事板工具提供了有限的能力来捕获和推理应用程序的安全需求。因此，安全性不能在设计时融入应用程序。因此，由设计缺陷引起的漏洞经常会出现在应用程序中。为了解决这个问题，在本文中，我们提出了一个基于故事板的设计方法，使规范和验证的Android应用程序的安全属性在设计时。

2019-09-20cs.CRcs.PLcs.SE