【摘 要】
：
密码学作为信息安全的关键技术,是目前研究领域的一个热点,也是计算机网络安全的基础.该文重点介绍了安全协议的一些特征,并针对基于对称密钥密码技术和公开密钥密码技术,介
论文部分内容阅读
密码学作为信息安全的关键技术,是目前研究领域的一个热点,也是计算机网络安全的基础.该文重点介绍了安全协议的一些特征,并针对基于对称密钥密码技术和公开密钥密码技术,介绍了几个在安全协议发展中起着重要作用和有代表性的安全协议.对协议分析工具,该文重点介绍了基于信任的协议分析工具--BAN逻辑.通过运用BAN逻辑对这几个协议进行了详细分析,揭示了形式化工具对验证协议正确性以及发现协议缺陷所起的重要作用.在协议分析的过程中,也发现了分析工具本身仍具有一些不足之处有待改进.在此基础上,该文介绍了在客户-代理环境中一个认证协议的实现,并使用BAN逻辑对这个协议进行分析.最后,该文还介绍了一种基于代数系统的新的分析工具--串空间模型.随着安全协议及其分析技术的不断发展,该文提出了安全协议自动生成的构想.
其他文献
该文研究了基于视觉的中国手语识别两个方面的内容：手指语识别和孤立手势词识别.由于视觉手语识别在特征表示和特征提取方面比较困难,该文设计了几种应用颜色重心距离作为主要
该文提出了基于面向对象的农业CIMS信息模型.该模型采用自顶向下的功能分解和自底向上的信息集成的建模方法.该文分析了该信息模型的建模准则及组成部分和信息模型的建模方法
该文首先分析了各种传统图像分割算法,尤其是各种边缘提取算法,接着讨论了各种算法应用于舌像分割的优缺点,重点分析了Kass等人提出的称为Snake的主动轮廓线法,并将其应用于
该文中将详细阐述现阶段远程教育系统中存在的问题,并为解决问题走出了探索的一步.该文在前言部分简要的描述了教育系统架构及BDML(BeiDa Markup Language)语言设计的必要
该系统以《数据结构》为背景领域,研究了网络环境下ICAI中学生认知模型的构建与实现.包括对课程知识的认知分类、题库的认知改造以及适合学生推理模型的框架知识表示法和领域
该文首先阐述了课题的背景及电子政务的发展状况,对电子政和斩发展情况做了比较全面的综述.该文着重研究了基于数据字典技术的电子政务系统的体系结构,通过对电子政务体系结
该文首先论述了相关技术背景,对XML技术做了一个简要综述,讨论了C/S结构以及三层应用系统的特点及优缺点.然后该文结合作者的开发经验,跟踪研究了最新流行技术以及存在的相关
聚类分析与离群点检测是数据挖掘中的关键问题,该文针对大规模交易数据库,研究聚类与离群点检测算法.主要研究工作包括:1)提出了一个高效的符号属性聚类算法:Squeezer算法.该