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

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

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

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