基于Strand Space模型的CCITT X.509协议分析

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户：objzobjz3

【摘要】

：

运用前沿的安全协议形式化分析方法--Strand Space模型理论,对CCITT X.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性

【作者】

：

蒋睿李建华潘理

【出处】

：

上海交通大学学报

【发表日期】

：

2004年z1期

【关键词】

：

STRAND Space模型安全协议形式化方法 CCITT X.509 Strand Space model security protocol forma

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

运用前沿的安全协议形式化分析方法--Strand Space模型理论,对CCITT X.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用Strand Space模型论证了改进协议的保密性和认证正确性.

其他文献

“网络民意”考验政府的行政智慧

互联网作为一种新的利益诉求渠道，其影响力与日俱增，作为管理国家事务的各级政府和官员，应适应时代的新变化，在当前中国社会转型，各种矛盾叠加、各种利益纠结的复杂时期，各级党政干

期刊

网络民意重视网络问政

大时滞过程双自由度自整定内模控制

借助双控制器设计技术和继电反馈辨识方法,提出了一种双自由度自整定内模控制器(自整定TDF-1MC).通过改进的继电反馈辨识方法获得被控对象模型参数,根据所得模型分别设计设定

期刊

内模控制双自由度继电器反馈辨识大时滞过程FeedbackIdentification (control systems)Nonlinear filter

荷载偏心及制动系统连接失效对钢吊车梁受力及疲劳开裂的影响分析

针对某冶金工业厂房钢吊车梁上翼缘频繁出现疲劳开裂的情况,本文对荷载偏心及制动系统连接失效这两种普遍缺陷情况下吊车梁受力特征及上翼缘与腹板连接处的应力情况进行数值

会议

钢吊车梁疲劳裂缝荷载偏心连接失效

新疆城乡收入差距对农村居民消费的影响分析

在当前复杂多变、不确定因素较多的国际国内经济环境下，消费是保持一定经济增长速度的重要手段。而收入水平的变化决定着消费水平的变化。本文通过对新疆城乡居民收入差距对新

期刊

居民消费城乡收入差距新疆

气动爬缆机器人气压分析与试验

针对索径变化较大、表面情况恶劣的缆索,提出了一种采用铰链结构的气动蠕动式爬缆机器人结构模型,建立了该机器人气缸受力与高空气压损失等理论模型,并对样机研制实例进行了

期刊

气动爬缆机器人铰链结构气体压力损失气缸受力斜拉桥结构模型pneumatic robot cable air pressure loss cables

基于Strand Space模型的CCITT X.509协议分析

其他学术论文