基于密码协议认证目标的协议分析方法的研究

来源 :微计算机信息 | 被引量 : 0次 | 上传用户：jackie_kara

【摘要】

：

为了克服现有的逻辑方法不适合分析电子商务协议的缺点,本文提出了一种基于协议认证目标的协议分析方法,该方法针对不同功能的协议,给出了他们要实现的目标:实体认证目标、密

【作者】

：

王滨张少武马智

【机构】

：

450004,450002

【出处】

：

微计算机信息

【发表日期】

：

2005年11X期

【关键词】

：

密码协议认证目标 Diffie-Heilman密钥建立协议电子商务 cryptographic protocols authentication goal

【基金项目】

：

中国科学院资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

为了克服现有的逻辑方法不适合分析电子商务协议的缺点,本文提出了一种基于协议认证目标的协议分析方法,该方法针对不同功能的协议,给出了他们要实现的目标:实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标.在文章的最后我们通过分析Diffie-Hellman密钥建立协议验证了该方法的正确性和易用性.

其他文献

莱菔子炮制历史沿革探析

本文就历代莱菔子炮制沿革与意图作了考证与整理,提出了应继承古法,保留淘洗,以去除泥沙等杂质,以及"生升熟降"的炮制作用.

期刊

炮制莱菔子保留历代历史沿革作用探析整理继承

基于密钥绝缘体制的多级代理签名体制

本文通过分析密钥绝缘体制和多级代理签名体制性质,发现他们之间存在某些本质上的一致性,构造了一种新的多级代理签名体制.在这个签名体制中,代理签名者可以将原始签名者的签

期刊

密钥绝缘代理签名多级代理key-insulated proxy-signature multiple-grade-proxy

Windows环境下高速数据采集系统软件设计

设计了基于工控机和高速模入板卡的数据采集系统,介绍了Windows多任务多线程环境下,高速同步采集数据、存储与处理数据的软件设计方法.根据系统的特点,采用半满中断方式实现

期刊

高速数据采集软件设计故障检测High-speed data acquisition software design failure testing

利用VB实现对皮革顶伸性能的参数测量和曲线显示

利用9111DG数据采集卡提供的DLL和VB中的Timer控件,实现了皮革顶伸性能的参数测量,利用Data控件实现对实时测量参数的数据库管理功能和存储,利用Pic-ture控件实时显示皮革顶伸性能曲线。

期刊

皮革顶伸性能数据采集曲线显示Leather lastometering property Data acquisition Curve displa

基于混沌神经网络的故障暂态量选线方法研究

为了有效提取故障暂态信息,研究选取适当的小波包基函数.针对电力系统故障暂态量的特点,为了有效克服非故障暂态信号的干扰,研究选取了容错性和联想记忆功能很强的混沌神经网

期刊

暂态量混沌神经网络小波包遗传算法Transient information Chaotic neural networkwavelets packe

基于密码协议认证目标的协议分析方法的研究

与本文相关的学术论文