智能终端应用软安全检测与评估方法研究.pdfVIP

2 摘 要 摘 要 近年来，伴随着移动通信能力、多媒体技术水平的不断提高，以此为基础的智能 终端发展突飞猛进。但是，由于智能终端对应用功能接口的开放性，及应用软件之间 的可扩展性等特性，导致应用软件引起的安全问题层出不穷，并呈现逐步恶化的趋势， 严重威胁着智能终端本身及其用户的安全，且 目前尚缺乏有效智能终端应用软件安全 检测评估手段，相应的监管机制也不健全，亟需探索适合智能终端应用软件检测与评 估方法，为此，本文开展了以下研究： 通过应用层面研究智能终端应用软件的安全检测与评估技术。其中包括：该级安 全研究操作系统组件的安全漏洞检测和挖掘，从操作系统内核层面保证智能终端应用 软件的安全，以及智能终端应用的操作系统组件安全漏洞检测、应用代码库的构建等； 采用形式化验证方法，从软件形式化描述、信息流安全属性形式化以及组合软件形式 化验证等方面进行深入研究，设计合理的客户端-云端信息流验证流程，实现对智能 终端应用层软件中信息流安全的防护，其中包括基于云检测的信息流验证框架与方 法。 最后，提出全面的检测评估模型并分析相应的结果，形成基于 CC （通用评估准 则）的评估理论模型，并将该模型应用于智能电视应用软件的安全评估，评估结果发 现该系统方法能更直观、有效地评价智能电视应用软件的安全水平。同时，可为自动 高效的智能终端应用软件安全检测与评估系统的实现提供理论借鉴。 关键词：智能终端 应用软件 漏洞检测 通用评估准则。 I Abstract Abstract In recent years, accompany with communications capabilities, computing power and multimedia capabilities continuing to enhance, intelligent terminal as a platform for intelligent applications have emerged, providing people a convenient and quickly life. However, due to the intelligent terminal interface for applications openness, and application software scalability and other features, resulting in endless application software, and showed a rising trend, a serious threat to the security of smart terminals. And currently, targeted at intelligent Terminal application security detection and mining technology is relatively backward. Therefore, automatic and efficient application software security detection method is urgent needed. This paper‟s primary mission is to study the intelligent terminal application software security detection and mining technology through two aspects - t