首页> 中文期刊> 《计算机应用》 >一种挂号电子邮件协议的设计及其形式化分析

一种挂号电子邮件协议的设计及其形式化分析

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

挂号电子邮件协议需要具备保密性、不可否认性及公平性.提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性.利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点.

著录项

来源
《计算机应用》 |2008年第8期|1928-1930,1935|共4页
作者
高悦翔; 彭代渊;
展开▼
作者单位

西南交通大学;

信息科学与技术学院;

成都;

610031;

四川师范大学;

计算机科学学院;

成都;

610068;

西南交通大学;

信息科学与技术学院;

成都;

610031;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
挂号电子邮件协议; 不可否认性; 公平性; 形式化分析; Kailar逻辑;

相似文献

中文文献
外文文献
专利

1. 一种新的电子邮件协议及其形式化分析 [J] . 解颜铭 ,石曙东 ,翁艳琴 . 湖北师范学院学报（自然科学版） . 2013,第001期
2. 一种面向电子邮件的不可否认协议及其形式化分析 [J] . 彭红艳 ,李肖坚 ,夏春和 . 计算机研究与发展 . 2006,第011期
3. 基于离线可信第三方的挂号电子邮件协议研究 [J] . 李慧 . 计算机应用 . 2006,第008期
4. 一个挂号电子邮件协议的缺陷及改进 [J] . 邢育红 ,卜凡金 ,李大兴 . 计算机工程与应用 . 2006,第002期
5. 一种新的复合型电子支付协议及其形式化分析 [C] . DING Yue ,丁月 ,WANG Xue-ming . 2017年贵州省计算机学会年会 . 2017
6. 电子商务安全协议的一种形式化分析方法 [A] . 王亮 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号