论文部分内容阅读
改进了一般安全协议模型GSPM，提出了一个新的框架GSPM^#，以弥补GSPM框架没有研究安全协议匿名性的不足.同时，用不同的方法定义了新框架下的匿名性，包括事件匿名性和数据匿名性.最后，以DCP（Dining Cryptographers Protocol）和它的变体为例，进行了匿名性分析的实例研究.