计算机工程与科学杂志 北大期刊 CSCD期刊 统计源期刊

计算机工程与科学 2004年第02期杂志 文档列表

NS协议的形式化分析与改进1-3

摘要：随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面.本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案.

基于高可用性的动态漂移技术研究4-6

摘要：本文分析了用以提高服务可用性的动态漂移技术的各种实现方法,包括DNS轮转、HTTP报文重定向、IP报文重定向、IP欺骗以及新近提出的连接迁移技术,并着重对连接迁移技术的运行机理进行了深入阐述.文章最后从性能方面对以上方法作了比较.

网络课程页面在线生成管理系统7-10

摘要：本文首先简要分析了当前网络远程教学中的网页制作状况,然后运用活动服务器页面技术和远程多媒体资源管理技术,设计了一套基于数据库管理技术的在线设计管理网络课程页面的系统.由于在线教师能够轻松获得服务器上已有的网页素材和网页信息,从而能够充分地重用及方便地管理它们.该系统使得即使是异地的网络教师也可以很方便地合作开发课程页面.

针对ICMP报文处理问题的IPSec协议改进方案11-14

摘要：IPSec应用在通道模式下时,对原始IP数据报另外封装了一个外部通道IP头(其中的源、目的地址分别指向实施IPSec的起始、终止端点的地址),导致报文传输途中的路由器对其封装的IP数据报所产生的ICMP差错报文不能在因特网上进行正确转发.该问题是一个难解决的问题,目前暂无成熟可行的方案.针对此问题,本文提出两种对IPSec协议进行改进的方案,均能保证在不影响原有IPSec实施效率的前提下,解决该难题.

基于MapXtreme的WebGIS解决方案15-18

摘要：本文分析了具有代表性的WebGIS平台MapXtreme的基本结构、工作原理以及基于MapXtreme的两种GIS数据管理策略,讨论了在GIS数据管理过程中可能遇到的问题,并提出了解决的方法.文章还描述了基于MapXtreme的WebGIS的体系结构,分析了在这种结构下的客户端解决方案、网站的扩展性策略等关键技术,最后简要介绍了一个实例.

高速边缘路由器中IPSec安全引擎实现技术的研究19-22

摘要：高速边缘路由器(HSBR)的产生是网络技术发展的要求.在HSBR上实现IPSec具有重要的意义.由于HSBR本身的特殊性,使得在HSBR上实现IPSec具有较大难度.本文分析了HSBR的功能和IPSec协议本身的结构,给出了通用的IPSec处理框架;然后,在对目前的各种基于路由器的IPSec实现方式进行了详细分析后,提出了一个基于分布并行结构的HSBR模型.该模型结构灵活,处理快速.最后,文章对边缘路由器今后的技术发展进行了展望.

无需可信机构的秘密分享成员扩充方案23-24

摘要：网络安全中,秘密分享体制的应用非常广泛.应用中,群组成员的个数常发生变化,如果每次变化时都要更新或重新分割,必然会给密钥管理增加很多困难,并带来较大的计算和通信代价.本文针对群组中新成员的加入提出了新的部分密钥生成算法,该算法无需可信机构,无需改动原先的秘密分配,满足安全性.

SNFS安全网络文件系统的设计与实现25-27

摘要：本文描述了一个安全网络文件系统-SNFS的设计和实现,包括其设计思想、体系结构、密钥管理、安全分析和实现方法.

基于SMV的安全协议模型检验28-31

摘要：SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV对Needham-Schroeder公钥协议的简化版本进行了验证,发现了利用消息重放进行的攻击.

基于通信扩展有限状态机的测试集生成技术32-35

摘要：在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术.

基于Bagging的手写体数字识别系统36-39

摘要：Bagging是一种用来提高学习算法准确度的方法,通过构造一系列预测函数并将其结果按投票规则进行合成,就可以将一个弱学习算法提升为强学习算法.本文针对UK测试量表中的手写体数字,设计并实现了一个以神经网络为弱分类器的、基于Bagging的手写体数字识别系统.与单个神经网络分类器相比,Bagging后的系统显示了更加优良的性能.

将光栅图象转换成PDF文件的研究与实现40-43

摘要：本文研究了将TIFF/IT格式的光栅图象文件转换成PDF文件的方法.该方法通过将TIFF/IT文件中的图形文字矢量化,并采用高效的数据压缩方法存储图象和矢量化的图形命令,使得生成的PDF文件不仅质量好而且数据量小.它完全可以满足印刷业双字节文字PDF文件生产的要求.

一种基于图象特征的小波水印44-47

摘要：本文提出了一种用于图象版权鉴定的小波水印方法.该方法在一定的量化标准下利用小波变换提取图象的特征信息,通过混沌序列对其加密生成数字水印.然后,根据HVS的特点和小波系数间的内在联系确定嵌入强度和位置,将水印信息自适应地嵌入到低频部分.该方法保证了鲁棒性,并实现了脱离原图和参考水印的高概率检测.实验结果表明,这是一种行之有效的图象鉴定方法.

协同模式识别算法及其改进48-49

摘要：本文演示了应用协同学理论进行模式识别的基本过程,讨论了其平移、旋转和缩放不变性,将小波变换应用于识别过程,并以人脸为例进行了识别.

基于辐射屏蔽体的建模及可视化研究50-52

摘要：辐射屏蔽体可用直角三角柱、圆锥台体等一些基本的三维几何图形来描述.该文以直角三角柱、圆柱体为例说明了三维图形的建模及绘制过程.对于一次函数的几何图形,先确定其顶点的空间位置,然后由所定的顶点画出每个面,最后组合成三维实体.对于属于二次函数的图形,用空间解析法建立了数学模型.采用空间坐标变换法,在标准位置上绘制二次函数的图形后,再转换到已知条件所定的位置来显示,可大幅度简化绘制过程.

多约束QoS路由的一种启发式算法53-55

摘要：本文提出一种求解QoS路由问题的新启发式算法,该算法求解基于带宽、时延、丢失率的多约束优化路问题,通过构造评价函数调用最短路算法迭代求解,具有较小的时间复杂度.最后给出的仿真结果证明了算法的有效性.

Linux嵌入式低速链路头标压缩算法56-59

摘要：本文主要研究TCP/IP包头和IP/UDP/RTP包头压缩方案,以用于低速链路上提供有QoS保证的业务.文中给出了压缩算法在Linux平台上嵌入式实现的机制.实验表明,该压缩算法简单可行,能在一定程度上提高低速PPP链路的效率和服务质量.

粗集结合决策树的一种数据挖掘算法60-62

摘要：决策树是一种重要的数据挖掘方法,本文将决策树的基本建树思想ID3算法与对象决策属性化简的粗集理论相结合,得到一种新型的决策树建树方法.通过实例证明了该方法的效率有所提高,使挖掘的效果更简单、更容易理解.