小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2006年
4期
646-650
,共5页
陆天波%方滨兴%孙毓忠%郭丽
陸天波%方濱興%孫毓忠%郭麗
륙천파%방빈흥%손육충%곽려
匿名%点对点%WonGoo%概率模型验证
匿名%點對點%WonGoo%概率模型驗證
닉명%점대점%WonGoo%개솔모형험증
Internet隐私的一个主要问题是缺乏匿名保护.近年来,人们已经针对这一问题做了很多工作.然而,如何利用已有的形式化方法分析匿名技术却是一个极具挑战的问题.对P2P匿名通信协议WonGoo进行了形式化分析.利用离散时间Markov链模型化节点和攻击者的行为.系统的匿名性质采用时序逻辑PCTL进行描述.利用概率模型验证器PRISM对WonGoo系统的匿名性进行了自动验证.结果表明WonGoo的匿名性随着系统规模的增加而增加;但却随着攻击者观察到的源自同一个发送者的路径的增加而降低.另外,匿名路径越长,系统的匿名性越强.
Internet隱私的一箇主要問題是缺乏匿名保護.近年來,人們已經針對這一問題做瞭很多工作.然而,如何利用已有的形式化方法分析匿名技術卻是一箇極具挑戰的問題.對P2P匿名通信協議WonGoo進行瞭形式化分析.利用離散時間Markov鏈模型化節點和攻擊者的行為.繫統的匿名性質採用時序邏輯PCTL進行描述.利用概率模型驗證器PRISM對WonGoo繫統的匿名性進行瞭自動驗證.結果錶明WonGoo的匿名性隨著繫統規模的增加而增加;但卻隨著攻擊者觀察到的源自同一箇髮送者的路徑的增加而降低.另外,匿名路徑越長,繫統的匿名性越彊.
Internet은사적일개주요문제시결핍닉명보호.근년래,인문이경침대저일문제주료흔다공작.연이,여하이용이유적형식화방법분석닉명기술각시일개겁구도전적문제.대P2P닉명통신협의WonGoo진행료형식화분석.이용리산시간Markov련모형화절점화공격자적행위.계통적닉명성질채용시서라집PCTL진행묘술.이용개솔모형험증기PRISM대WonGoo계통적닉명성진행료자동험증.결과표명WonGoo적닉명성수착계통규모적증가이증가;단각수착공격자관찰도적원자동일개발송자적로경적증가이강저.령외,닉명로경월장,계통적닉명성월강.
