声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-1777/TP
国际刊号：1000-1239
发布日期:
作者：张磊,杨哲慜,李明琪,杨珉,
关键词：安卓安全规约, 安卓应用程序, 安全性质语言, 静态代码分析, 漏洞检测,
为了使开发者能安全准确地使用第三库接口，库设计者提供了各种类型的安全提示(安全规约)，进而保护应用程序免受因库函数的误用而造成的安全攻击.然而，研究表明:开发者经常性不遵守这些安全规约，导致应用程序中引入了各种各样的安全漏洞.为了评估该问题的影响与规模，进行了系统性的、大规模的对安全规约在安卓应用程序中违反情况的研究.结果表明:已有的安全规约由于不精确的描述、误导性的代码示例、错误的默认设置、碎片化以及缺少强制性检查等原因而大大影响了其在实际运用中的有效性.为了使开发者能更好地遵守安全规约，提出了TipTracer，一个自动化的通用漏洞分析框架.TipTracer主要包含2个部分:1)TipTracer定义了一个能形式化描述安全规约的安全性语言，并利用该语言对已知的安全规约进行形式化表述;2)TipTracer实现了一个静态代码分析器，用于检查应用程序是否满足安全规约.最后，通过大规模的实验分析，证明了TipTracer能有效且准确地对大规模的真实应用程序进行安全性分析.
来源：2019年第11期
《计算机研究与发展》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。