概率Applied Pi框架下的匿名度分析  

Measuring anonymous system with probabilistic Applied Pi calculus

作　　者：谢思敏[1] 蔡小娟[1] 

机构地区：[1]上海交通大学计算机科学与工程系BASICS实验室,上海200240

出　　处：《计算机应用研究》2009年第8期3000-3003,共4页Application Research of Computers

基　　金：国家"973"计划资助项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033);浙江省科技计划资助项目(2007C31009)

摘　　要：在概率Applied Pi下对安全协议的匿名度进行研究:它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明是有效的,因为当两个进程之间的metric为0时这两个进程弱互模拟;基于metric给出了匿名度的形式化定义。最后分析了密码学家就餐问题,用概率Applied Pi对其建模,计算匿名度。This paper studied the anonymity in the model of probabilistic Applied Pi （ PAPi ）. First, defined a metric on PAPi processes to measure the similarity between processes. This metric was then shown to be well-defined since it turns out to be 0 when two processes are weakly bisimilar. Upon metric, gave the formal definition of anonymity degree. Finally, as an illustrating example, analyzed the anonymity of probabilistic dining cryptographer problem （DCP） in framework.

关 键 词：概率进程演算 匿名度 互模拟 匿名协议 密码学家就餐问题 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP309[自动化与计算机技术—计算机科学与技术]