资料介绍
提出了一种基于公钥的层次化网络安全协议设计模型:协议的设计在若干层分别进行,
每一层子协议完成协议所要实现的一个子目标,并为上一层的子协议提供数据接口,然后将各层子协议依次合并起来,完成整个协议的设计。在以前的研究工作中,协议安全性总是被看作一个整体,给协议的设计与证明带来极大的复杂性限制。层次化模型的使用简化了安全协议设计的过程,使协议的设计更加清晰,代价更小,安全性证明也更为简单。另外,所设计的协议具有更大的灵活性,可以适应各种应用系统的需求。
关键词:安全协议,设计模型,层次化,公钥
Abstract:This paper presents a layer-based model for security protocol design based on public key. That is, how to design security protocol by producing sub-protocols in several different layers. Every sub-protocol achieves a sub-goal derived from the protocol original goal and provides a data interface for the higher layer sub-protocol. Then we can obtain the design of the whole protocol by combining all the sub-protocols layer by layer. Using the layer-based model, whose basic idea goes against the common thought derived from the protocol authentication researches that security is regarded as an integral property, is very effective: it can make the entire security protocol design procedure clearer, more concise, and less expensive. Moreover, the layer differentiation simplifies the expression of authentication properties and diversifies the resulting design: this can be taken advantage of if we want to design different protocols meeting the requirements of different applications.
Keywords:security protocol, design model, layer-based, public key
每一层子协议完成协议所要实现的一个子目标,并为上一层的子协议提供数据接口,然后将各层子协议依次合并起来,完成整个协议的设计。在以前的研究工作中,协议安全性总是被看作一个整体,给协议的设计与证明带来极大的复杂性限制。层次化模型的使用简化了安全协议设计的过程,使协议的设计更加清晰,代价更小,安全性证明也更为简单。另外,所设计的协议具有更大的灵活性,可以适应各种应用系统的需求。
关键词:安全协议,设计模型,层次化,公钥
Abstract:This paper presents a layer-based model for security protocol design based on public key. That is, how to design security protocol by producing sub-protocols in several different layers. Every sub-protocol achieves a sub-goal derived from the protocol original goal and provides a data interface for the higher layer sub-protocol. Then we can obtain the design of the whole protocol by combining all the sub-protocols layer by layer. Using the layer-based model, whose basic idea goes against the common thought derived from the protocol authentication researches that security is regarded as an integral property, is very effective: it can make the entire security protocol design procedure clearer, more concise, and less expensive. Moreover, the layer differentiation simplifies the expression of authentication properties and diversifies the resulting design: this can be taken advantage of if we want to design different protocols meeting the requirements of different applications.
Keywords:security protocol, design model, layer-based, public key
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 网络安全基础之网络协议与安全威胁的关系 0次下载
- 基于区块链的网络安全漏洞检测系统 13次下载
- 基于区块链的网络安全体系结构研究设计 11次下载
- 将置信规则库分级优化的网络安全态势预测方法 11次下载
- 网络安全态势评估方法 0次下载
- 基于SNMP协议的网络安全管理系统 13次下载
- 无线传感器网络安全S-MAC协议研究 9次下载
- 网络安全的对策 10次下载
- 融合网络安全信息的网络安全态势评估模型 10次下载
- 一种网络安全评估算法 25次下载
- 一种基于主动防御网络安全模型的设计与实现 31次下载
- HM-043网络安全特性 12次下载
- 网络安全协议 16次下载
- 网络安全技术课件,网络安全技术精品课程 0次下载
- 网络安全管理系统的主机监控模块设计 13次下载
- 汽车网络安全-挑战和实践指南 161次阅读
- 联网自动驾驶机器人的网络安全 143次阅读
- 电力监控系统网络安全监测装置介绍 1260次阅读
- lansweeper创建网络安全资产管理基线 600次阅读
- 网络安全术语大全解读 1951次阅读
- 2021年该如何吸引网络安全行业优秀人才? 1437次阅读
- 2021年网络安全行业将迎来什么挑战? 3750次阅读
- 2021年AI在网络安全的发展趋势和影响 2990次阅读
- ssl协议是指什么 ssl协议有必要开启吗 2.1w次阅读
- 网络安全主要有哪些关键技术 4660次阅读
- 防火墙是网络安全的重要组成部分 3123次阅读
- 网络安全密钥是什么_网络安全密钥怎么修改 13.9w次阅读
- 网络安全概念股有哪些_网络安全概念股一览 2.2w次阅读
- 基于密码的云计算虚拟化网络安全研究 759次阅读
- 计算机网络安全及防范技术 2804次阅读
下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
评论
查看更多