首页> 中文期刊> 《河南科学》 >一种新的安全协议设计方法

一种新的安全协议设计方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.

著录项

来源
《河南科学》 |2008年第3期|322-325|共4页
作者
王惠斌; 马明山; 常青美; 祝跃飞;
展开▼
作者单位

信息工程大学,郑州,450002;

河南司法警官职业学院,郑州,450002;

安阳师范学院,河南,安阳,455002;

信息工程大学,郑州,450002;

信息工程大学,郑州,450002;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
安全协议; 形式化设计; 协议推导系统; ISO-9798-3协议;

相似文献

中文文献
外文文献
专利

1. 一种新的共享密钥安全协议设计方法 [J] . 华东明 ,侯紫峰 ,韦卫 . 计算机工程 . 2006,第011期
2. 一种新的IPv6安全协议-有限制发送协议 [J] . 胡清桂 . 河北工程大学学报（自然科学版） . 2011,第004期
3. 一种新的IPv6安全协议——有限制发送协议 [J] . 胡清桂 . 中央民族大学学报（自然科学版） . 2011,第004期
4. 一种模块化的安全协议设计方法 [J] . 王娜 ,王亚弟 ,汪斌强 . 计算机工程 . 2006,第014期
5. 一种安全协议的形式化设计方法 [J] . 李莉 ,张焕国 ,王张宜 . 计算机工程与应用 . 2006,第011期
6. 一种安全协议的规范化设计方法 [C] . 邓帆 ,李益发 ,张文政 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 一种分析和设计安全协议的新逻辑 [A] . 缪祥华 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号