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

1、六度空間理論的提出，為當(dāng)代互聯(lián)網(wǎng)世界打開了一扇大門，將早期社交網(wǎng)絡(luò)的概念引入互聯(lián)網(wǎng)，繼而創(chuàng)立了面向社會性網(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中用戶個人敏感隱私信息的過度公開化和互聯(lián)網(wǎng)的迅速傳播也導(dǎo)致了大量用戶隱私信息泄露的問題。
　　用戶隱私信息

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

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