首页> 中文期刊> 《软件学报》 >一种改进的密码协议形式化模型

一种改进的密码协议形式化模型

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型.

著录项

来源
《软件学报》 |2007年第7期|1746-1755|共10页
作者
张畅; 王亚弟; 韩继红; 郭渊博;
展开▼
作者单位

解放军信息工程大学;

电子技术学院;

河南;

郑州;

450004;

解放军信息工程大学;

电子技术学院;

河南;

郑州;

450004;

解放军信息工程大学;

电子技术学院;

河南;

郑州;

450004;

解放军信息工程大学;

电子技术学院;

河南;

郑州;

450004;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
密码协议; 秘密性; 认证性; 形式化验证;

相似文献

中文文献
外文文献
专利

1. 一种新的双方不可否认密码协议及其形式化分析 [J] . 桑永宣 ,曾吉文 . 厦门大学学报（自然科学版） . 2008,第005期
2. 一种用于密码协议形式化验证的简单逻辑 [J] . 陈玉涛 ,贾步忠 . 电子科技 . 2005,第005期
3. 一种基于混合密码体制的不可否认协议及其形式化分析 [J] . 李艳平 ,张建中 . 中国科学院研究生院学报 . 2004,第002期
4. 一种改进的Woo-Lam密码协议模型 [J] . 赵宇 ,袁霖 ,王亚弟 . 计算机应用 . 2006,第009期
5. 形式化分析验证一种改进的NSSK协议 [J] . 陈慧丽 ,石广田 . 兰州交通大学学报 . 2013,第001期
6. 一种新的密码协议攻击分类及形式化描述方法 [C] . 张智慧 ,刘怡文 ,李金汉 . 中国计算机学会信息保密专业委员会学术年会 . 2002
7. 一种改进的SET协议安全性研究及其形式化分析 [A] . 王波 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号