一个攻击协议的有效例证

RSA是在信息系统中被广泛使用的一个公开密钥算法 ,在理论上RSA是非常安全的 ,但这并不能完全保证系统的安全 ,如果系统协议设计不当 ,仍然可以有效地攻击系统 .本文介绍了一种攻击RSA协议的方法     

卫星因特网接入TCP/IP协议的改进与发展

因特网的发展对带宽的要求越来越高 ,现有的地面网络远远不能满足用户的需求 ,交互的、高速的、和因特网结合的新一代卫星通信网络是目前研究的热点。该文分析了传输控制协议 (TCP)的运行机制 ,以及它在高延时带宽积和高突发误码率的卫星信道上传输效率低下的原因。按照从链路层到应用层的分类方法 ,对目前提出的众多对 TCP协议改进方案进行了描述 ,并对各种方案的特点作了简单总结。作为地面网络的补充 ,卫星网络已经成为因特网的重要部分 ,针对卫星网络进行的 TCP协议改进也必将成为未来因特网协议的一部分     

基于攻击者的“角色冒充”的协议验证方法

网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的     

分布式工程数据库系统中事务管理机制相关技术的研究

从分布式工程设计事务环境和事务管理特点出发,给出一种分布式工程数据库系统（DEDBS）事务管理子系统的体系结构,提出一种适用于DEDBS中的事务两阶段提交协议,介绍两种支持工程设计事务的并发控制方法;基于20L的扩充分层封锁模型的并发控制方法和改进的乐观并行控制方法。     

基于AIMD算法的TCP拥塞控制机制改进

基于AIMD算法的随机模型推导了当网络采用主动队列管理时的TCP吞吐率公式,提出了一种改进的TCP拥塞控制机制,新机制在发送端采用了修改过的AIMD算法,在接收端采用了RTT预测补偿机制,仿真结果表明,它在与现有TCP竞争带宽时具有TCP友好性,与普通TCP相比,其流量抖动较平缓并且可以在TCP连接具有不同RTT时提高宽带分配的公平性,因此适合于承载多媒体应用。     

优化迁移共享的自适应令牌协议

针对写作废的一致性协议在处理迁移特征时需要2次访问的特征，提出了一种自适应的令牌协议，根据数据的读/写处理器和数据的令牌信息判断数据是否具有迁移特征.如果数据具有迁移特征，则请求者的状态变为可以避免迁移访问序列中出现写访问的状态MG，从而消除了迁移特征中的写作废次数.结果表明，所提出的自适应令牌协议在读访问时获取了数据所有权，避免了部分写失效的产生，从而使得平均失效延迟降低5%，通信量平均降低9%.
     

实验室管理系统中远程控制模块的实现

为了实现对实验室自动化、开放式管理,作者和其项目组成员研究、开发了一套集方便性、实用性和易操作性于一体的开放式实验室信息管理系统。文中重点介绍了该系统中远程控制模块的功能及其实现。     

移动自组网仿真技术研究综述

移动自组网无需预先设置基础架构即可动态地自组织成任意拓扑结构的通信网络,可快速部署于各种复杂的环境。仿真是移动自组网协议算法的一项重要评估手段,对移动自组网仿真器进行了全面总结,重点分析了当前常用仿真器的特点,并指出了移动自组网仿真技术的热点问题以及今后仿真实验中的注意事项。     

Chap认证协议的改进方案——ChapNew协议

本文首先介绍Chap协议,指出其安全漏洞,提出ChapNew协议,并对其安全性进行分析.     

针对私有协议的模糊测试技术研究

模糊测试(Fuzzing)技术是一种很有效的自动化软件漏洞挖掘技术,将其运用到网络协议测试领域非常具有现实意义.本文结合网络协议本身的特点,分析了对网络协议进行模糊测试需要注意的关键问题,并在传统模糊测试框架的基础上,在代码覆盖和目标监控等方面加以改进,提出一个基于自动化的网络协议模糊测试框架;同时,针对私有网络协议,特别是经过编码的私有网络协议模糊测试提出有效的测试思路,以减少在协议解析过程中,对加密例程进行逆向工程的艰难过程,提高漏洞挖掘的效率.