对网络协议安全协议的分析与研究.doc

《对网络协议安全协议的分析与研究.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、对网络协议安全协议的分析与研究电子商务安全协议SET协议自从1997年获得通过后，得到了广泛的关注，很多试点项目也已经展开，目标是如何实现网上的信息安全。同时，sET协议安全性分析引起了很多学者的注意，许多文献对SET协议的安全机制进行了分析。Meadows和Syverson设计了一种语言NI省rRI，来描述sET说明，但没有实际分析【39]。Kessler和Neuma衄设计了一种信仰逻辑来分析SET支付过程的单条消息14…。文献[41】通过推导方式为sET协议的第一个阶段即持卡人注册建立了模型。根据实际应用以及

2、研究的需要，研究者提出了一些SET协议的简化版本，如Lu—smolka协议142J、LI7rEsET、csET、PSET等。其中Lu—smolka协议是sET支付协议的一个比较著名的简化版本。文献f43】给出Lu．smolka协议的两种攻击形式，但是它没有找出所有的攻击形式，也没有对攻击分类研究。本节将对sET协议进行介绍并采用运行模式法来对Lu．smolka协议进行形式化分析。