搜索结果: 1-2 共查到“计算机科学技术基础学科 Android”相关记录2条 . 查询时间(0.402 秒)
针对Android智能终端安全问题，构建Android智能终端安全分层体系。首先从远程防盗、生物身份验证和硬件安全模块方面阐述了Android设备安全的安全威胁及保护措施，然后从无线安全网络、病毒传播查杀和防钓鱼攻击说明了Android网络安全的隐患及防范，之后从内核安全、本地库运行时环境安全和应用框架安全角度介绍了Android操作系统安全的研究内容，接着从静态检测和应用行为动态检测、应用加固和...
Interactively Verifying Absence of Explicit Information Flows in Android Apps
interactive verification abductive inference specifications from tests
2016/5/24
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play),desktop apps (Mac App Store and Ubuntu Software Center),computer games (the Steam Sto...