排序方式: 共有41条查询结果,搜索用时 31 毫秒
41.
安全协议匿名性形式化分析 总被引:1,自引:0,他引:1
改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例,进行了匿名性分析的实例研究. 相似文献