近年来,伴随着移动通信能力、多媒体技术水平的不断提高,以此为基础的智能终端发展突飞猛进。但是,由于智能终端对应用功能接口的开放性,及应用软件之间的可扩展性等特性,导致应用软件引起的安全问题层出不穷,并呈现逐步恶化的趋势,严重威胁着智能终端本身及其用户的安全,且目前尚缺乏有效智能终端应用软件安全检测评估手段,相应的监管机制也不健全,亟需探索适合智能终端应用软件检测与评估方法,为此,本文开展了以下研究:　　通过应用层面研究智能终端应用软件的安全检测与评估技术。其中包括:该级安全研究操作系统组件的安全漏洞检测和挖掘,从操作系统内核层面保证智能终端应用软件的安全,以及智能终端应用的操作系统组件安全漏洞检测、应用代码库的构建等;采用形式化验证方法,从软件形式化描述、信息流安全属性形式化以及组合软件形式化验证等方面进行深入研究,设计合理的客户端-云端信息流验证流程,实现对智能终端应用层软件中信息流安全的防护,其中包括基于云检测的信息流验证框架与方法。　　最后,提出全面的检测评估模型并分析相应的结果,形成基于CC(通用评估准则)的评估理论模型,并将该模型应用于智能电视应用软件的安全评估,评估结果发现该系统方法能更直观、有效地评价智能电视应用软件的安全水平。同时,可为自动高效的智能终端应用软件安全检测与评估系统的实现提供理论借鉴。