一种新型的安全协议分析逻辑

提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息     

移动数据库广播的并发控制算法研究

在基于数据广播的移动信息服务中,由于更新数据和广播数据两个过程是并发执行的,所以移动客户将面临接收数据不一致性问题。为此,该文提出了一种基于规则的并发控制算法来解决以上问题。在允许同步更新的情况下采用事件-条件-操作规则来进行无冲突的数据广播。该算法对移动机和数据库服务器的影响很小,同时又为基于广播的移动计算提供了数据一致性服务。     

安全网络管理MIB标准化研究

网络规模的增大和异构性的增高,使得网络管理难度也越来越大。安全设备功能的冲突和重叠造成资源的浪费,增加了管理难度,也引入了新的安全问题。该文通过对整个网络安全环境制定统一的管理政策,可实现标准的安全管理MIB库,将不同厂商、不同设备的复杂管理改进成统一的管理,避免安全漏洞和冲突。以当前应用广泛的安全产品——防火墙、VPN、公钥体系、入侵检测系统为例,制定了通用、统一的MIB库。     

AFIDS中的自适应模型研究

本文首先提出了一个新的入侵检测系统－－自适应模糊入侵检测系统，然后重点介绍了该系统中用于采集基于主机的原始事实的自适应模型，此模型主机状态分为不同的等级 ，不同的等级采用不同的审计策略。最后，本文用Petri网对该模型进行了描述和性能分析。     

NetMeeting的网络安全问题研究

本文先就NetMeeting使用中带来的网络安全问题做了详尽的分析,特别指出了NetMeeting对防火墙的影响。随后提出了四种解决方案,其中重点介绍了防火墙 网关解决方案和VPN解决方案。     

一种评价Hash编码策略性能的方法

在Ｈａｓｈ编码策略中，如何使Ｈａｓｈ表中地址冲突最小是我们所感兴趣的。合适的Ｈａｓｈ函数可以使冲突最小，本文论述了完美Ｈａｓｈ函数及一般Ｈａｓｈ函数的性能评价方法，由此，可选择合适的Ｈａｓｈ函数。     

面向服务的分布式IDS自组织模型研究

本文将面向服务的思想引入分布式入侵检测系统,提出了一种面向服务的分布式IDS自组织模型--SODIDS。该模型使用基于索引的多层P2P网络来发布和查找安全服务信息,通过快速检索安全服务信息,各种安全部件相互协作,自组织成为分布式入侵检测系统,实现了多域合作、自动配置。     

面向卫星网络的TCP代理

当传统TCP协议用于卫星网络时面临各种问题,原因包括:卫星信道的高传输延迟、较大的误码率、带宽不对称、信号衰减等.为了提高卫星网络环境下TCP的性能,在不破坏TCP端到端特性的前提下,提出了一种新的主动代理方案.拥塞控制算法通过具有不同优先级的双报文对实施主动监测,能够根据网络带宽的变化自适应地调整TCP窗口.并且,对代理控制系统进行了稳定性分析.针对卫星网络下的TCP丢包恢复,提出了一种不依赖时钟同步的选择性否定应答算法.模拟实验表明,提出的TCP代理能够充分利用卫星网络的带宽,从而达到获得最佳有效吞吐率的目的.     

一种新的支持组播隧道的VPN系统模型分析

首先讨论了目前非常流行的远程视频等应用,分析了组播通信的过程.接着在对IPSec VPN体系进行剖析的基础上,指出了IPSec VPN系统对组播隧道支持较差的原因,从而提出了新的支持组播通信安全传输的Multicast over IPSec协议,并给出了协议实现的结构和流程.为了对协议模型进行验证,文章以FreeSWAN软件为基础,对Multicast over IPSec协议进行了设计和实现,并对实现后的原型系统进行了环境测试和数据分析.     

Authorware与Director影片之间的信息传递

Authorware和Inrector都是Macromedia公司的多媒体创作工具软件。Authorware是一种交互式图标性的多媒体创作工具，它可让用户直接在画面上安排所需的元件，定义出元件本身的动作以及元件和元件间的关系。其工作方式是采用一种形象化的方法在微机上制作多媒体作品，创作者首先通过选择精简的形象化图标，来构成应用程序结构的流程图，流程日定义了多媒体元素的流动过程，然后再往结构中添加各种媒体素材，最终得到流程回所表达的多媒体作品，应用于开发事件驱动需要的高交互性的教育、训练模拟系统。Director是基于时序的多媒体创作工具软…