首页> 中文期刊> 《计算机工程与科学》 >RSA-CEMD协议的分析及基于串空间模型的形式化证明

RSA-CEMD协议的分析及基于串空间模型的形式化证明

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键.本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析.

著录项

来源
《计算机工程与科学》 |2007年第2期|12-14,23|共4页
作者
卜凡金; 邢育红;
展开▼
作者单位

山东数字证书认证管理有限公司;

山东;

济南;

250011;

山东交通学院;

山东;

济南;

250023;

展开▼
原文格式 PDF
正文语种 chi
中图分类加密与解密;
关键词
公平交换协议; 串空间; 认证测试; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 基于串空间模型安全协议形式化分析方法的研究 [J] . 董军 ,杨秀娟 ,赵艳芹 . 计算机技术与发展 . 2008,第004期
2. 基于串空间模型的电子商务协议的形式化分析 [J] . 邢育红 ,卜凡金 ,李大兴 . 计算机工程与应用 . 2006,第003期
3. 基于串空间的安全协议形式化验证模型及算法 [J] . 周宏斌 ,黄连生 ,桑田 . 计算机研究与发展 . 2003,第002期
4. 基于串空间的安全协议形式化分析研究 [J] . 姚萌萌 ,唐黎 ,凌永兴 . 信息网络安全 . 2020,第002期
5. 基于串空间的Kao Chow加密协议形式化验证 [J] . 陆超 ,周颢 ,陈波 . 中国科学技术大学学报 . 2007,第012期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于串空间模型的安全协议形式化分析与研究 [A] . 闫敏 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号