安全协议匿名性形式化分析

宋琳; 蔡小娟

首页> 中文期刊> 《上海交通大学学报》 >安全协议匿名性形式化分析

安全协议匿名性形式化分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《上海交通大学学报》 |2008年第4期|523-528|共6页
作者
宋琳; 蔡小娟;
展开▼
作者单位

上海交通大学计算机科学与工程系BASICS实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类数据安全;
关键词
安全协议; 匿名性; GSPM;

相似文献

中文文献
外文文献
专利

1. 一种具有用户匿名性和前向安全性的WTLS握手协议的安全性分析及其改进 [J] . 崔媛媛 ,周永彬 ,丁金扣 . 高技术通讯 . 2005,第004期
2. 基于形式化方法的安全协议安全性分析 [J] . 邓辉 ,张宝峰 ,刘晖 . 通信技术 . 2015,第009期
3. 对两个无线传感器网络中匿名身份认证协议的安全性分析 [J] . 薛锋 ,汪定 ,曹品军 . 计算机应用 . 2015,第012期
4. OAuth2.0协议的安全性形式化分析 [J] . 魏成坤 ,刘向东 ,石兆军 . 计算机工程与设计 . 2016,第007期
5. 基于形式化分析工具的认证协议安全性研究 [J] . 段然 ,徐乃阳 ,胡爱群 . 信息网络安全 . 2015,第007期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于PCL的安全协议匿名性形式化分析方法的研究 [A] . 韩世宁 . 2014

安全协议匿名性形式化分析

摘要

著录项

相似文献

相关主题

期刊订阅