概率Applied Pi框架下的匿名度分析
2009-12-31 00:00:00謝思敏蔡小娟
計算機應用研究 2009年8期
摘要：在概率Appdled Pi下對安全協議的匿名度進行研究：它在概率Applied Pi進程上定義了metric，以對進程間的相似進行度量；該定義被證明是有效的，因為當兩個進程之間的metric為0時這兩個進程弱互模擬；基于metric給出了匿名度的形式化定義。最后分析了密碼學家就餐問題，用概率Applied Pi對其建模，計算匿名度。 關鍵詞：概率進程演算；匿名度；互模擬；匿名協議；密碼學家就餐問題 中圖法分類號：TP301；TP309 文獻標志碼：A 文章編號：1001－3695(2009)08－3000－04
