互聯(lián)網(wǎng)技術(shù)的迅速發(fā)展,讓現(xiàn)代社會(huì)的信息量爆炸式增長(zhǎng)�，F(xiàn)在人們?cè)絹?lái)越喜歡在互聯(lián)網(wǎng)上分享信息,社交網(wǎng)絡(luò)（Social Network,SN）的出現(xiàn)為數(shù)十億網(wǎng)民提供了快速分享信息的平臺(tái)。近幾年,智能移動(dòng)設(shè)備的普及更加促進(jìn)了SN的迅猛發(fā)展,人們可以通過(guò)移動(dòng)設(shè)備隨時(shí)隨地社交和辦公,在生活和工作中越來(lái)越依賴于SN,國(guó)內(nèi)外熱門社交平臺(tái)的用戶數(shù)達(dá)到了數(shù)十億。龐大用戶的數(shù)據(jù)量使SN成為了網(wǎng)絡(luò)攻擊的重災(zāi)區(qū),隱私泄露事件近年來(lái)層出不窮,一旦隱私發(fā)生泄露,往往涉及大規(guī)模的用戶,因此SN的安全是不容忽視的。導(dǎo)致隱私泄露原因一方面是SN系統(tǒng)本身的安全性和可靠性不夠高,另一方面是用戶對(duì)自身隱私保護(hù)的意識(shí)不夠強(qiáng)。SN作為一個(gè)軟件系統(tǒng),可以用軟件驗(yàn)證的方法來(lái)提高其安全性和可靠性。然而,傳統(tǒng)的軟件驗(yàn)證方法比如模型檢測(cè)、定理證明和測(cè)試對(duì)于驗(yàn)證復(fù)雜的系統(tǒng)存在一些不足。因此,為了提高SN系統(tǒng)的可靠性和安全性,需要采用一種較完善且具備實(shí)時(shí)性的驗(yàn)證方法。為了驗(yàn)證SN系統(tǒng),本文提出了一種在線的運(yùn)行時(shí)驗(yàn)證方法。該方法利用源代碼插樁技術(shù)捕獲系統(tǒng)運(yùn)行時(shí)產(chǎn)生的信息,在不需要對(duì)系統(tǒng)進(jìn)行建模的情況下進(jìn)行實(shí)時(shí)的驗(yàn)證。首先,獲取SN系統(tǒng)的安全相關(guān)性... 

【文章頁(yè)數(shù)】：70 頁(yè)

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

【文章目錄】：
摘要
ABSTRACT
縮略語(yǔ)對(duì)照表
第一章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
        1.2.1 社交網(wǎng)絡(luò)安全研究現(xiàn)狀
        1.2.2 運(yùn)行時(shí)驗(yàn)證研究現(xiàn)狀
    1.3 研究?jī)?nèi)容與組織結(jié)構(gòu)
第二章 相關(guān)工作及背景知識(shí)
    2.1 命題投影時(shí)序邏輯PPTL
    2.2 基于PPTL的運(yùn)行時(shí)驗(yàn)證
        2.2.1 三值語(yǔ)義的PPTL
        2.2.2 監(jiān)控器
第三章 在線運(yùn)行時(shí)驗(yàn)證方法的研究
    3.1 性質(zhì)監(jiān)控器的構(gòu)建
    3.2 源代碼插樁技術(shù)
    3.3 運(yùn)行時(shí)驗(yàn)證工具
第四章 開(kāi)源社交網(wǎng)絡(luò)的驗(yàn)證
    4.1 開(kāi)源社交網(wǎng)絡(luò)的選取
        4.1.1 Elgg
        4.1.2 Dolphin
    4.2 Elgg的性質(zhì)驗(yàn)證
        4.2.1 用戶博客的查看權(quán)限
        4.2.2 用戶資料的查看權(quán)限
    4.3 Dolphin的性質(zhì)驗(yàn)證
        4.3.2 用戶登錄嘗試次數(shù)
        4.3.3 用戶添加好友
    4.4 實(shí)驗(yàn)結(jié)果分析
        4.4.1 插樁前后網(wǎng)頁(yè)響應(yīng)速度分析
        4.4.2 其他運(yùn)行時(shí)驗(yàn)證工具對(duì)比
第五章 總結(jié)與展望
    5.1 總結(jié)
    5.2 展望
參考文獻(xiàn)
致謝
作者簡(jiǎn)介


【參考文獻(xiàn)】：
期刊論文
[1]一種將NFA到最小化DFA的方法[J]. 毛紅梅,聶承啟.  計(jì)算機(jī)與現(xiàn)代化. 2004(10)

碩士論文
[1]微博系統(tǒng)的運(yùn)行時(shí)驗(yàn)證研究[D]. 李致遠(yuǎn).西安電子科技大學(xué) 2018
[2]PPTL符號(hào)模型檢測(cè)方法及工具研究[D]. 劉曉芳.西安電子科技大學(xué) 2014



本文編號(hào)：3718072