基于MSVL的社區(qū)網(wǎng)絡(luò)隱私策略驗(yàn)證.pdf

1、六度空間理論的提出，為當(dāng)代互聯(lián)網(wǎng)世界打開了一扇大門，將早期社交網(wǎng)絡(luò)的概念引入互聯(lián)網(wǎng)，繼而創(chuàng)立了面向社會(huì)性網(wǎng)絡(luò)的互聯(lián)網(wǎng)服務(wù)，也稱社交網(wǎng)絡(luò)服務(wù)（Social Network Service，SNS)。隨著互聯(lián)網(wǎng)Web技術(shù)的飛速發(fā)展，SNS已經(jīng)潛移默化地覆蓋了人們生活的方方面面，給人們的生活、工作和學(xué)習(xí)帶來了極大的方便。然而，SNS中用戶個(gè)人敏感隱私信息的過度公開化和互聯(lián)網(wǎng)的迅速傳播也導(dǎo)致了大量用戶隱私信息泄露的問題。
　　用戶隱私信息

2、泄露問題出現(xiàn)的原因是多方面的，其中一個(gè)主要原因就是SNS的隱私策略性質(zhì)不健全。針對(duì)此類問題，本文提出了一種基于框架時(shí)序邏輯程序設(shè)計(jì)語言MSVL(Modeling, Simulation and Verification Language)的SNS建模及系統(tǒng)中隱私策略性質(zhì)驗(yàn)證的方法。首先，選擇一個(gè)合適的SNS，利用網(wǎng)絡(luò)爬蟲技術(shù)爬取得到該系統(tǒng)一定時(shí)間段的數(shù)據(jù)信息包；然后，編寫Python程序提取數(shù)據(jù)信息包中用戶相關(guān)屬性信息和用戶之間相互關(guān)系

3、以及有關(guān)操作等數(shù)據(jù)信息，從而生成TXT文本；接著，從提取出的用戶中選取若干個(gè)用戶，并且基于這幾個(gè)用戶之間的關(guān)系及相應(yīng)的操作構(gòu)建出一個(gè)SNS用戶關(guān)系圖模型；最后，利用投影時(shí)序邏輯（Projection Temporal Logic,PTL)統(tǒng)一模型檢測方法對(duì)該模型進(jìn)行建模和驗(yàn)證。在具體驗(yàn)證過程中，使用MSVL對(duì)模型系統(tǒng)進(jìn)行建模，并用命題投影時(shí)序邏輯（Propositional PTL,PPTL)公式來描述系統(tǒng)中典型的隱私策略性質(zhì)，最終在統(tǒng)