【摘 要】
：
网络的普及使得网络安全问题日益重要,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念.本文介绍了几种具有代表性的安全协议的形式化验证工具,研究并使用J
论文部分内容阅读
网络的普及使得网络安全问题日益重要,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念.本文介绍了几种具有代表性的安全协议的形式化验证工具,研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法.我们提出了身份验证协议必须交换秘密的概念,还为协议的形式化验证过程设计了框架.框架是指针对攻击者和其冒充的角色对原安全协议的改造.我们实现的验证工具是证伪的,即如果攻击者能够成功冒充某主体,则该安全协议是有漏洞的,反之则该协议的安全性得到某种程度的保证.本文还给出了该算法的攻击实例,并且对以后
其他文献
根据移动网络的特性并结合其管理方式，提出了一种新的基于移动网络并具有一定QoS保证的网络重组策略，将引入的重新划分网络边界和周界的思想，与启用备用链路，重路由等几种机制有
从建筑可持续设计的角度找到BIM技术和可持续设计的共同点,分析BIM技术应用于可持续设计面临的主要问题和挑战。最后,得出一些有用的结论。
结合实际,针对如何解决钢筋工程的质量问题进行了论述。
本文应用带盘的Bayes网络作为分析模型,对于学习实例数据库为分组样本的关于各组样本私有条件概率的学习算法进行讨论,构建出两层学习结构:第一层针对各组私有条件概率分布Θ
随着社会经济的发展,农业灌区的改造和新建都在飞速发展,在灌区的水利工程规划管理很重要。灌区水利工程建设对我国农业发展起着重要的作用,缓解了我国水资源匮乏的压力,为粮
排水管在建筑中是不可或缺的存在,近些年为了提高排水管的使用年限,绿色耐腐蚀混凝土排水管在建筑中应用广泛,管芯振动成型技术作为绿色耐腐蚀混凝土排水管的主要应用技术,在
强化学习一词来自于行为心理学，这门学科把行为学习看成反复试验的过程，从而把环境状态映射成相应的动作。在设计智能机器人过程中，如何来实现行为主义的思想，在与环境的交互中学
本文介绍了几种Java处理器技术的结构和特点,包括Java虚拟机、采用堆栈结构的Java处理器、Java协处理器、采用VLIW技术的Java并行处理器等.最后,简述了Java处理器技术的最近
本文给出了二叉树的轮廓线索树的一个新的构造算法 .与 Reingdd的算法相比 ,该算法简单、高效、便于分析 ,易于推广到 m-叉树的轮廓线索树的构造算法上
本文基于国内外的最新研究成果对数据挖掘技术进行了研究,将这些技术应用到具体的电子商务平台中去,得到了可行性验证,从而为此技术在电子商务领域广泛应用起到了示范作用.