切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种新的安全协议设计方法
一种新的安全协议设计方法
来源 :河南科学 | 被引量 : 0次 | 上传用户:seanzhow
【摘 要】
:
已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系
【作 者】
:
王惠斌
马明山
常青美
祝跃飞
【机 构】
:
信息工程大学,河南司法警官职业学院,安阳师范学院
【出 处】
:
河南科学
【发表日期】
:
2008年3期
【关键词】
:
安全协议
形式化设计
协议推导系统
ISO-9798-3协议
network protocol
formal design
PDS
IS0-9798-3
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.
其他文献
创伤出血性休克的急救护理
目的探讨创伤出血性休克的急救护。方法观察临床171例创伤出血性休克患者急救护理措施与临床疗效关系。结果判断急救护理措施对临床疗效的影响。结论正确临床急救护理可明显
期刊
创伤
出血性
休克
急救护理
青海都兰县有效治理4.79万亩荒漠化土地
近年来,都兰县加大防沙治沙力度,使夏日哈地区4.79万亩的荒漠化土地得到了治理,2.3万余亩农田和约6万亩草场得到了较好保护,提高了农业综合生产能力。据了解,夏日哈地区流沙
期刊
荒漠化土地
都兰县
治理
农业综合生产能力
青海
防沙治沙
试验示范区
夏日
咱们村的“网络土地协管员”
一天上午,荣阳市韩村村委会全体干部正在召开紧急会议,王村镇村党支部书记老高的手机响了起来。按规定开会期间任何人都不能接听电话,可高书记一看是国土资源协管员老王打来的,便
期刊
土地
网络
村党支部
国土资源
村委会
习惯性
浅谈甘露醇静脉滴入的护理
目的探讨甘露醇静脉滴注的护理措施。方法对我院2010年11月-2011年8月收治90例需要甘露醇治疗的患者进行回顾性分析。全部患者给予甘露醇静脉滴注,在滴注期间实施有效护理。
期刊
甘露醇
静脉
护理
其他学术论文