上海交大无线网络的安全措施

上海交通大学（简称：上海交大）无线局域网始建于2004年，目前有独立AP130台，中央控制器与相关瘦AP20台。为减少用户间的干扰，无线设备上配置了扩展ACL或隔离。为了满足方便性、安全性的不同要求，无线网提供了不认证和802.1X认证的两种SSID以及不加密、动态WEP、TKIP、AES等各种加密等级。其中不加密SSID的用户认证和接入网关使用昂科AC，加密SSIDN采用三层交换机做网关。

Internet网络信息自动摘要的研究

针对Ｉｎｔｅｒｎｅｔ网络信息的基本特征，提出了一套新的自动摘要方案：首先根据标识符的不同赋予相应文本字串不同的权值，在文本字串长度大于一定阈值的情况下，对中英文字串采用不同方式调整权值，然后根据权值大小挑选字串，生成文字流畅且具备一定质量的自动摘要。

基于LONWORKS网络的多处理器智能节点设计

在基于 L ONWORKS网络的现场总线中 ,Neuron芯片是节点的核心 ,但是其处理能力不足以胜任复杂的计算任务 .为增强节点的计算能力 ,提出并实现了一种非对称多处理器 (AMP)结构的控制节点设计方案 ,多个处理器之间采用共享总线相连 ,Neuron芯片为主处理器 ,3个从处理器并行完成信号的高速采样计算 .在具体实现中 ,提出了单缓冲、双通道总线、两级树状网络、通信线程细化等技术手段 .

网络市场中带宽定价与分配

本文提出一种基于微观经济学原理进行分布式流控制的技术,将网络模拟为竞争的市场。在这些市场中,交换机对其链路的定价基于供求关系;用户购买带宽要尽量提高他们个人的服务质量。

基于主成分分析的对等网络邻近标识符选择

保持对等网络与底层网络的拓扑良好契合是保障对等网络性能的重要条件.以对等网络系统CAN为基础,将底层网络拓扑建模为高维欧氏空间,使用主成分分析法将底层网络拓扑映射到低维CAN逻辑空间,从而根据节点在底层网络中的位置决定其在对等网络中的标识符.实验结果表明,该算法能够有效减少对等网络链路延时,提高路由效率.

EDI中心的实时任务调度算法研究

本文首先综述单处理器系统中基于截止时间优先任务调度的几种算法以及涉及问题的基本解决方法,然后提出在满足每个任务截止时间的前提下,基于最早开始执行时间优先动态调度算法。

剖析黑客突破网络安全系统的基本手段──堵住安全漏洞,防止不必要的损失

本文从原理上介绍了黑客们入侵计算机网络系统特别是入侵Internet网的一些基本方法，这些方法主要是从猜测或获取口令及网络协议上的安全漏洞入侵的。

再谈Windows NT网络的建设

随着现代经济和计算机技术的发展,各个行业越来越多配备了计算机,而且逐步建立了工作组、部门乃至企业级网络。人们需要更高的工作效率,无论何时何地,都希望能尽快地得到所需要的信息,也希望利用分布式计算技术,分担繁重的计算工作,要做到这些而必须将自己的个人电脑与广阔的信息网络相连接。在建立办公网络的时候,一旦网络拓扑结构确定之后,网络操作系统的选择就变成用户最关心的问题。 局域网操作系统主要有Unix,Novell Netware。

开源软件监测网络显身手

在校园网络的管理和维护过程中，开源软件由于其较低的成本和强大的扩展性越来越受到网管人员的青睐。上海交通大学网络中心很早就开始进行开源软件的引进和二次开发。目前，我们主要在网络性能监测、机房监控等方面使用多种开源软件。

高校电子资源访问管理控制系统的设计和应用

为了对电子资源过量下载实施有效管理,上海交通大学图书馆在网络中心的支持下,开发了电子资源访问管理控制系统。系统通过对校内用户访问图书馆购买的电子资源情况进行实时网络抓包分析,监测学校用户下载电子全文时的各类违规现象,并通过TCP会话劫持技术实时限制违规用户访问图书馆电子资源,有效保护了图书馆的知识产权。阐述了系统的功能需求、整体设计和实现技术原理,介绍了系统应用效果及还需进一步完善的工作。

基于防火墙日志信息的入侵检测研究

首先介绍了入侵检测系统的发展过程，随后讨论了通过对包过滤型防火墙的日志信息进行分析，建立一个基于防火墙日志信息的准实时的网络入侵检测系统。

迎接21世纪信息技术的挑战

在这21世纪即将来临之际,本文首先简要回顾了我国信息技术应用的状况,然后简要地介绍了美国总统顾问委员会给美国总统的咨询报告,最后则从信息处理的角度对我国今后的发展提出了若干建设性的建议。

信息安全形式化开发中的模型方法

安全策略模型是计算机安全的形式化开发过程中的关键步骤。本文深入分析了系统安全的两类模型——存取控制模型和信息流模型，指出了它们之间的区别和联系。在此基础上，文章对在安全的形式化开发的需求分析、系统设计和设计验证三个阶段中，两类模型的具体应用方法进行了探讨。文章也指出了这种模型化方法在应用系统安全开发中有着一般性的意义。

一个仿人疾病诊断专家系统模型

通过研究医学专家的诊断思维过程，提出了一个疾病诊断专家系统模型。该模型以层次分类结构作为知识库的组织形式，分类过程作为疾病诊断的推理过程，用这种自顶向下，逐层分类的方法提高诊断效率．此外，还通过对层次分类体系的分析，压缩特征向量，减少系统的计算量。

分布式自治域安全的认证研究

对分布式系统的安全认证机理进行了分析，在深入剖析一个安全协议的基础上，对它进行了扩充;同时通过分析与比较几种著名的安全认证系统，就分布式系统的安全城模型认证框架进行了研究。

一个入侵特征的时间语义模型

入侵特征由系统属性和事件序列组成,时序关系是描述它们的关键。ISITL是一种基于Allen的时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言,它将系统属性和事件与相应的时段紧密相连,时段间的相互关系用13个基本函数和3个扩展函数来描述。在基于多代理的计算机免疫系统MACIS中,根据ISITL描述设计的检测器确保了较低的“漏报率”和“误报率”。

入侵特征的时间语义逻辑及实现

在对ITL的定义和实时语义扩充进行描述的基础上,详细探讨了ISITL的特征,并给出了其模式图和MACIS事件的处理算法;最后对ISITL存在的优缺点进行了简要分析。

入侵特征的时间语义分析及实现

入侵特征对于入侵检测系统至关重要，它们往往由系统属性和事件序列组成，时序关系是描述它们的关键。ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言，它对Allen的时段时态逻辑进行了实时描述的扩充，从而加强了其入侵特征的描述能力。在ISITL中，所有的系统属性和事件都与相应的时段紧密相连，其相互关系用13个基本函数和3个扩展函数来描述。与其它入侵特征描述语言相比，ISITL具有简单易用，描述能力强等优点。

自主存取控制的 Petri 网建模和分析

对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达．并用可达性树技术对ｃａｎ．ｓｈａｒｅ问题提供了一个更为简明实用的解答．文中用一个实际的信息处理系统为例。