共查询到19条相似文献,搜索用时 62 毫秒
1.
田峰 《江汉大学学报(自然科学版)》2003,31(1):59-61
针对日趋国际标准化的KERMT通信协议的一些不足,提出了一种改进方案,使其在文件传输中断时,能够从中断处迅速恢复传输,保证无差错无重复地正常工作。 相似文献
2.
3.
本文对自组网信道接入(MAC)协议进行了研究,详细介绍了该协议所面临的问题及解决方法。最后介绍了自组网几种重要的MAC机制。 相似文献
4.
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。 相似文献
5.
应用Petri网中的条件 /事件 (C/E)系统建立半双工通信协议模型 ,并应用Petri网工具对协议模型进行分析 ,使用电子设计自动化 (EDA)技术 ,对基于C/E系统的协议模型进行高速硬件描述语言 (VHDL)程序设计 ,并由现场可编程门阵列 (FPGA)器件实现该模型 ,为协议的验证和实现提供了一种方法 相似文献
6.
采用BAN逻辑对著名的Needham—Schroeder(NS)协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性.分析结果表明,该协议只有增加初试假设,即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标,并提出改进方案. 相似文献
7.
对ESP(Encapsulating Security Payload)协议进行改进,提出了重新定义配开协议里的可选字段来解决上述问题的方法,该方法利用IPsec协议族中的ESP协议,在遵守ESP协议的同时借鉴了传输模式和隧道模式的特点,在没有嵌套的情况下设计其安全策略,实现端到端的数据保护.对ESP协议所作的改进可以简化安全规则的复杂性,便于在主机和安全网关上实施. 相似文献
8.
电子支付安全协议的Petri网模型及分析 总被引:1,自引:0,他引:1
通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义. 相似文献
9.
自协议分析方法引入入侵检测系统以来,就与模式匹配方法相结合,以其简单、高效得到了广泛的应用与发展。Snort系统是目前最常用的基于协议分析的入侵检测系统,目前多数入侵检测产品是将Snort系统进行简单加工改造而成的。Snort系统是完全由规则驱动的,只是对网络接口数据进行生硬的模式匹配。近年来,国内外也提出了一些协议分析方法的改进,但都局限于基于误用的检测方法效率的提高。本文总结了现在基于协议分析的入侵检测方法的理论成果,提出了一种有机结合了误用和异常检测方法的基于协议分析的入侵检测系统模型。这一模型结合了协议确认、协议分析和模式匹配三种检测技术,综合协议分析方法的先进技术方法,并利用协议确认方法对原有单一规则驱动的方法做出有利补充。 相似文献
10.
随着传感器网络研究的不断深入,实现和改进可实用性强的路由协议是一项具有现实意义的工作。基于真实的无线传感器网络,在MICAZ节点实现并改进了Flooding和Gossiping协议,首先设计了Flooding协议的报文格式和路由表,并开发了单源结点和多源结点路由协议,且利用序列号方法缓解了Flooding协议存在的报文内爆问题。同时,在多源的Gossiping协议中,设计了广播应答机制和随机转发选择机制以消除两个相邻节点的之间的数据循环发送。最后,基于组建的实际网络对两种协议改进后的性能进行了比较分析。 相似文献
11.
李倩 《北京工商大学学报(自然科学版)》2006,24(4):45-47,51
介绍了关于远程访问的安全问题,以及与其相关的两个协议RAD IU S和TACACS+.通过比较两个协议的区别,可以了解现在ISP普遍采用的确保拨号服务安全的机制.最后提出了实际应用时,这种机制存在的一些问题. 相似文献
12.
研究无线应用协议(WAP)栈中客户端无线事务协议(WTP)的功能,提出了一种基于WIN32环境的设计和实现方案,并指出了在设计和实现过程中涉及到的关键技术。在计算机上模拟调试和下载到移动终端实地调试结果表明:软件功能达到预期设计目标,支持WTP协议规范中的3类事务,并能进行正常通信,软件运行稳定。该设计方案为基于WIN32环境下的协议实现方法提供了一种途径和参考。 相似文献
13.
在单片机系统中,可能会用到标准的PC机键盘.标准PC机键盘有独立的微处理器,它与主控制器的通信必须遵守严格的通信协议及时序关系,所传送的数据也有严格的标准.本文对标准PC/AT键盘接口的通信协议及传输时序进行了研究,全面介绍了键盘扫描码、系统命令码及键盘响应码,解决了单片机系统中应用标准PC键盘的问题,给出了典型应用实例. 相似文献
14.
佳木斯市区热网水力失调原因分析及改造 总被引:2,自引:0,他引:2
阐述了佳木斯市的供热管网的现状,直接连接式供热管网的弊端及间接连接式供热管网的优点,提出了以间接连接式供热管网改造佳木斯市现有供热管网并分析改造后的优缺点。 相似文献
15.
以之前所提出基于模态逻辑的协议推导分析方法为基础, 用Java专家系统外壳(JESS)实现了协议推导分析工具, 对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用, 并以此为基础说明协议内容中的冗余.通过与传统协议分析方法进行比较, 说明了这一方法可以更清晰地说明协议内容对协议目标的贡献作用.同时,也在分析过程中指出了SVO逻辑协议分析方法对假设的过度依赖性这一缺陷. 相似文献
16.
17.
针对控制系统中单片机和上位机的通信问题,制定了一个适用于微型控制系统的网络通信协议.给出了协议制定的原则,分析了通信协议中校验部分存在的问题,定义了一种适合微型控制系统的校验码-非0校验,阐述了该协议在单片机控制系统中实现的过程,验证了该协议的有效性及稳定性。 相似文献
18.
文章主要介绍我们设计的分布式实时控制系统DTCS中的通信协议和基于此协议的软件设计。 相似文献
19.
许洪杰 《天津师范大学学报(自然科学版)》1994,(4)
本文阐述了在APPLEⅡ微型计算机上采用STC2.0汉字系统和BASIC语言结合教育统计学方面的知识所开发的“试卷统计分析系统”软件的组成、功能和应用。 相似文献