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

• 作者: 蔡小娟 谢思敏
• 来源期刊: 计算机应用研究
• 关键词: 概率进程演算 匿名度 互模拟 匿名协议 密码学家就餐问题
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3000-3003
• 页数: 4页
• 分类号: TP301|TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.08.058

摘要

在概率Applied Pi下对安全协议的匿名度进行研究:它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明是有效的,因为当两个进程之间的metric为0时这两个进程弱互模拟;基于metric给出了匿名度的形式化定义.最后分析了密码学家就餐问题,用概率Applied Pi对其建模,计算匿名度.