【摘 要】
：
对于分布式网路中的通信协议,是否实现了设计的安全目标是判断其设计成功的关键,利用推理结构性方法可以从理论上证明协议的安全性。利用SVO逻辑对典型协议的分析,发现了协议
论文部分内容阅读
对于分布式网路中的通信协议,是否实现了设计的安全目标是判断其设计成功的关键,利用推理结构性方法可以从理论上证明协议的安全性。利用SVO逻辑对典型协议的分析,发现了协议存在的安全缺陷,并提出相应的改进措施。
For the communication protocols in distributed networks, whether to achieve the designed security goal is the key to judge the design success. Using the reasoning structural method can theoretically prove the security of the protocol. Using the SVO logic to analyze the typical protocol, we found the security flaws existed in the protocol and put forward the corresponding improvement measures.
其他文献
针对嵌入式大气数据系统(FADS)的特点,研究了其空气动力学模型,提出了相应的神经网络算法结构,并对动压与静压神经网络计算模块进行了部分仿真.通过仿真比较了BP神经网络L-M
基于HLA的体系结构和基于成员的设计思想,对舰载机的飞行仿真系统进行了研究,建立了其对象类和交互类;在HLA基础上利用MultiGen Creator/ Vega和VC ++ 的虚拟现实仿真平台实
眼病患者大多是以视功能减退为主要症状,而视功能的减退又直接影响其生活质量,笔者通过三年对眼病患者的总结和分析,从6个方面阐述了其影响生活质量的相关因素,并实行针对性
全面预算管理就是将企业的决策计划目标及其资源配置通过预算加以全化,并对企业整个经济活动进行协调控制、反映、考评和奖惩,使之得以实现的一种企业内部管理活动或过程的总
社会空间“异托邦”是福柯重要的空间批判和现代知识批判概念,福柯著作中的各种特殊空间如疯人院、监狱、军队、学校的知识—权力—话语分析都与这个概念相关,可以说这个概念
本文从在大学英语课堂导入一则商品广告的翻译谈起,讨论翻译教学对大学英语教学的作用和重要意义。建议加大大学英语教学中的翻译教学的力度,让学生在翻译的过程中体验文化以
在酒店业人才流动日益频繁的今天,如何降低知识型员工流失给酒店带来的损失是酒店人力资源管理中的一大难题。本文在分析酒店业人才流失原因的基础上提出了如何留住知识型员
通过对模糊自适应PID控制器设计过程的详细分析,提出了一种基于PLC查表方式实现模糊自适应PID控制器的方法,实现了基于PLC的自适应模糊PID控制器的设计,并应用于实际的控制系
中层管理者是企业组织中非常重要的角色.对中层管理者进行有效的激励,调动他们的积极性是十分必要的.但是,传统的货币薪酬并不能缓解中层管理者由于工作与生活的冲突而带来的
介绍计算机软件的发展,并重点介绍在文献整理和模糊图像处理工作中的计算机软件的应用。