文件名称：论文研究-概率AppliedPi框架下的匿名度分析.pdf
文件大小：295KB
文件格式：PDF
更新时间：2022-08-11 15:21:31
概率进程演算,匿名度,互模拟,匿名协议,密码学家就餐问题
在概率Applied Pi下对安全协议的匿名度进行研究：它在概率Applied Pi进程上定义了metric，以对进程间的相似进行度量；该定义被证明是有效的，因为当两个进程之间的metric为0时这两个进程弱互模拟；基于metric给出了匿名度的形式化定义。最后分析了密码学家就餐问题，用概率Applied Pi对其建模，计算匿名度。