暂无评论
基于SIP协议的攻击及防御研究，郝文科，，SIP协议是下一代网络中的重要的信令协议，研究其安全性具有现实和长远意义。本文首先分析了SIP协议的常见漏洞：注册劫持、会话终止
〖提出的高速网络协议识别方案用FSM表示RegExp，用硬件完成模式匹配，实现了高速的网络协议识别，解决了基于软件的字符串匹配不能适应高速网络发展的问题。测试表明其模式匹配速度可达到Gbps以上性能。
基于公交系统的VDTN路由协议研究 ,龚文,樊秀梅,车载自组织网络(VANET)由于网络拓扑变化快、链路质量很不稳定、端到端的链路断裂频繁,节点具有
Kerberos认证协议的分析与改进，卓见，孙斌，Kerberos是一个研究较多、应用广泛且较成熟的身份认证协议；但是它也存在着一些局限性和缺陷。本文首先阐述Kerberos认证流程，并分析��
DBTMA协议的性能分析及改进，刘娟，，针对DBTMA协议中存在的不足之处，从双信道方法着手，对数据信道和控制信道的传输内容进行了改进。在数据信道上传输数据报文和RTS报�
安全性和活性是两大基本的系统属性，对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理，发现其缺乏对状态序列的具体约束。针对这一问题，使用对系统动作刻画更完善的行为时序逻辑进行了重定义
主要对Micali2003年提出的ECS1协议进行分析。通过分析，找到了已有攻击并发现了五种新攻击，对发现的所有攻击进行深入分析，找出了攻击存在的原因。此外，还对BaoFeng等人给出的该协议的改进方
基于CIF的逻辑数据模型设计，金辉，，本文详细讨论了基于CIF的逻辑数据模型设计，对CIF系统的研究背景进行了简单的描述，同时从设计方法上借鉴了EDW中的部分思路，探索了
摘要：通过分析自动信任协商系统中的行为抽象，形式化定义了协商模式。基于扩展的一阶时态逻辑给出了自动信任协商系统的抽象模型，分析了模型的语法和语义，为实现自动信任协商系统提供了有效的工具。
以飞机航电系统为研究对象，以设备可靠性数据和专家经验为数据来源，建立了基于因果网络的航电系统多故障诊断体系，给出了诊断过程、推理思路和诊断算法并做了实例验证，成功提高了航电设备的故障诊断效率并缩短了维
暂无评论