首页> 中文期刊> 《信息网络安全》 >基于通用可组合理论的协议安全性证明方法讨论

基于通用可组合理论的协议安全性证明方法讨论

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

文章介绍了可证明安全协议设计中较为流行的UC模型,对UC模型的提出、证明目标、证明过程等进行了总结和分析.通过一个公钥加密通信协议的举例,解释了UC模型下的证明过程.文章最后给出使用UC模型的一般规律.

著录项

来源
《信息网络安全》 |2012年第6期|18-22|共5页
作者
刘宇靓; 任伟;
展开▼
作者单位

中国地质大学(武汉)计算机学院信息安全系,湖北武汉430074;

中国地质大学(武汉)计算机学院信息安全系,湖北武汉430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
可组合理论; UC安全模型; 可证明安全协议;

相似文献

中文文献
外文文献
专利

1. 通用可组合安全证明理论的演进 [J] . 景建笃 . 郧阳师范高等专科学校学报 . 2015,第003期
2. 基于理想格的通用可组合两方口令认证密钥交换协议 [J] . 舒琴 ,王圣宝 ,路凡义 . 电子与信息学报 . 2021,第006期
3. 一种基于融合网络通用可组合安全的漫游认证协议 [J] . 李亚晖 ,马建峰 . 计算机科学 . 2010,第001期
4. 基于身份数字签名方案的通用可组合安全性 [J] . 王泽成 . 计算机应用 . 2011,第001期
5. 基于强认证理论的三方网络协议安全性证明 [J] . 肖美华 ,刘欣倩 ,李娅楠 . 计算机科学与探索 . 2016,第012期
6. 基于事件逻辑的改进Needham-Schroeder协议安全性证明 [C] . LIU Xin-qian ,刘欣倩 ,XIAO Mei-hua . 2015全国理论计算机科学学术年会 . 2015
7. 量子保密通信协议通用可组合安全性研究 [A] . 陈夏阳 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号