隨著科技的進(jìn)步,移動互聯(lián)網(wǎng)產(chǎn)業(yè)獲得了飛速的發(fā)展,以iOS和Android操作系統(tǒng)為主要代表的移動智能終端在全球范圍內(nèi)得到了迅猛發(fā)展與普及。在iOS平臺上出現(xiàn)了越來越多的惡意軟件、有害軟件和“表里不一”的軟件,這樣的軟件會給人們帶來巨大的經(jīng)濟(jì)損失,嚴(yán)重地威脅到了人們的人身和數(shù)據(jù)安全。雖然蘋果公司針對這些惡意有害的軟件推出了App Store審核等相關(guān)措施,人們普遍認(rèn)為iOS系統(tǒng)相比其他系統(tǒng)更加安全,但是還是出現(xiàn)了例如XcodeGhost、YouMi SDK等惡意盜取用戶隱私和敏感數(shù)據(jù)的安全事件,這說明通過了App Store審核過程的軟件也可能存在安全隱患問題。所以如何保證移動終端應(yīng)用的可信性是目前需要解決的問題。本文以iOS應(yīng)用作為研究對象,研究如何對軟件的可信性進(jìn)行測試。同時(shí),由于軟件系統(tǒng)規(guī)模越來越龐大,傳統(tǒng)的測試方法需要占據(jù)軟件開發(fā)周期大量的時(shí)間和資源,因此需要一種高效快速的測試技術(shù),所以測試用例的自動生成也作為本文要解決的問題。近些年來,國內(nèi)外的研究學(xué)者在測試用例自動生成的研究中,將諸如遺傳算法、模擬退火算法等啟發(fā)式尋優(yōu)算法應(yīng)用在其中,極大地提升了軟件測試的效率。粒子群算法相較于... 

【文章來源】：北京工業(yè)大學(xué)北京市 211工程院校

【文章頁數(shù)】：84 頁

【學(xué)位級別】：碩士

【部分圖文】：

可信計(jì)算信任鏈的傳遞過程

圖 2-1 可信計(jì)算信任鏈的傳遞過程Figure 2-1 The process of passing the trusted computing trust chain計(jì)算系統(tǒng)的核心為 TPM 芯片。TPM 是一種 SOC 芯片，它就的可信根，通過物理的安全措施來保障其安全性。圖 2-2 展示能，主要由 CPU、內(nèi)存、嵌入式操作系統(tǒng)、I/O、加密處理器構(gòu)成。TPM 的主要功能為：存儲可信度量、存儲安全數(shù)據(jù)、生成密鑰、簽名等。

即管理資源和對 TPM 的同步訪問。一個(gè)可信平臺的體系架構(gòu)如圖2-3 所示。圖 2-3 可信平臺的體系架構(gòu)Figure 2-3 Trusted platform architecture2.2 軟件行為2.2.1 軟件行為的定義屈延文[26]針對軟件行為提出了如下概念：軟件行為即軟件在運(yùn)行的時(shí)候呈現(xiàn)出其外在形態(tài)與執(zhí)行狀態(tài)發(fā)生演變的過程。軟件行為學(xué)屬于計(jì)算機(jī)軟件研究領(lǐng)域中的行為語義學(xué)，它在計(jì)算機(jī)科學(xué)研究方向里是一門新興的理論�；谲浖袨閷W(xué)的特點(diǎn)，它在網(wǎng)絡(luò)安全領(lǐng)域、計(jì)算機(jī)安全領(lǐng)域都具有重要的研究意義。軟件行

【參考文獻(xiàn)】：
期刊論文
[1]基于改進(jìn)免疫克隆選擇算法的柔性作業(yè)車間調(diào)度[J]. 王雷,鄒新.  南京理工大學(xué)學(xué)報(bào). 2018(03)
[2]用主動免疫可信計(jì)算3.0筑牢網(wǎng)絡(luò)安全防線營造清朗的網(wǎng)絡(luò)空間[J]. 沈昌祥.  信息安全研究. 2018(04)
[3]求解TSP的自適應(yīng)優(yōu)秀系數(shù)粒子群優(yōu)化算法[J]. 程畢蕓,魯海燕,黃洋,許凱波.  計(jì)算機(jī)應(yīng)用. 2017(03)
[4]基于改進(jìn)遺傳算法的軟件測試用例自動生成[J]. 何金花,鄭利華.  軟件導(dǎo)刊. 2016(09)
[5]面向動態(tài)演化的軟件行為相關(guān)性分析研究[J]. 蔣旭東,謝仲文,李彤,明利,吉才盈.  小型微型計(jì)算機(jī)系統(tǒng). 2016(09)
[6]基于時(shí)空Petri網(wǎng)的復(fù)雜軟件系統(tǒng)可信建模與分析[J]. 李剛,韓龍美,朱永利.  系統(tǒng)仿真學(xué)報(bào). 2016(08)
[7]基于混沌搜索與種群交叉的粒子群優(yōu)化算法[J]. 楊勝培,李仲陽,陳中樣.  計(jì)算機(jī)仿真. 2016(06)
[8]改進(jìn)的基于粒子群優(yōu)化的支持向量機(jī)特征選擇和參數(shù)聯(lián)合優(yōu)化算法[J]. 張進(jìn),丁勝,李波.  計(jì)算機(jī)應(yīng)用. 2016(05)
[9]粒子群優(yōu)化算法的性能分析和參數(shù)選擇[J]. 王東風(fēng),孟麗.  自動化學(xué)報(bào). 2016(10)
[10]可信計(jì)算技術(shù)在全球能源互聯(lián)網(wǎng)信息安全中的應(yīng)用[J]. 安寧鈺,徐志博,周峰.  電力信息與通信技術(shù). 2016(03)

博士論文
[1]軟件行為動態(tài)可信理論模型研究[D]. 楊曉暉.中國科學(xué)技術(shù)大學(xué) 2010



本文編號：3284256