智能終端應用軟件安全檢測與評估方法研究.pdf

1、近年來,伴隨著移動通信能力、多媒體技術水平的不斷提高,以此為基礎的智能終端發(fā)展突飛猛進。但是,由于智能終端對應用功能接口的開放性,及應用軟件之間的可擴展性等特性,導致應用軟件引起的安全問題層出不窮,并呈現逐步惡化的趨勢,嚴重威脅著智能終端本身及其用戶的安全,且目前尚缺乏有效智能終端應用軟件安全檢測評估手段,相應的監(jiān)管機制也不健全,亟需探索適合智能終端應用軟件檢測與評估方法,為此,本文開展了以下研究:
　　通過應用層面研究智能終端應

2、用軟件的安全檢測與評估技術。其中包括:該級安全研究操作系統(tǒng)組件的安全漏洞檢測和挖掘,從操作系統(tǒng)內核層面保證智能終端應用軟件的安全,以及智能終端應用的操作系統(tǒng)組件安全漏洞檢測、應用代碼庫的構建等;采用形式化驗證方法,從軟件形式化描述、信息流安全屬性形式化以及組合軟件形式化驗證等方面進行深入研究,設計合理的客戶端-云端信息流驗證流程,實現對智能終端應用層軟件中信息流安全的防護,其中包括基于云檢測的信息流驗證框架與方法。
　　最后,提出