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

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

计算机工程与科学杂志计算机网络与安全

一种基于Agent的Web服务认证模型1-3

摘要：针对Web服务认证中存在的效率及安全问题,本文结合Agent技术,探索性地提出了一种Web服务身份认证模型.该模型在引入可信任第三方的基础上使用Agent进行协同工作实现用户身份认证,从而提高了Web服务的访问效率,并增加了系统安全策略实施的灵活性.

密码处理ASIP中的置换加速4-6

摘要：密码处理ASIP是针对密码算法处理的专用微处理器体系结构,结构设计的重点是怎样良好地匹配算法要素和算法结构.置换是对称密码算法中重要的编码环节,在密码处理ASIP结构下加速置换要尽量减少使用非共用硬件,开发处理并行性,适应各种位宽置换的处理要求.通过对分组算法置换特性的深入分析,在提出的密码处理ASIP结构下,构造了加速置换操作的部件结构和互连结构,设计了专用的指令,给出了性能和实现结果,证明置换加速机制高效、低代价、通用性强.

一个安全文件系统的半形式化功能规范设计7-10

摘要：形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程.

基于ASP.NET/C#的Web应用程序关键技术研究与实现11-13

摘要：本文首先介绍了.NET下Web数据库开发技术,在此基础上讨论了在ASP.NET下Web应用程序中的基于ADO.NET的数据访问方法和动态数据绑定技术,采用的Form-Based验证机制实现了对数据库页面的安全调用,分析了访问数据库的代码后置和使用存储过程的技术,同时对如何动态绑定TreeView控件、DataGrid控件和DropDownList控件进行了介绍.

一种基于进程代数的安全协议验证消解算法14-16

摘要：安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对安全协议无穷会话的交叠运行进行验证.本文首先给出了将安全协议基于进程代数的形式描述转化成为一组逻辑规则的方法,并提出了基于逻辑规则分类的高效逻辑程序消解算法,对安全协议认证性和保密性进行验证.

一种针对乒乓移动节点的QoS快速无缝切换机制17-21

摘要：本文在分层移动IPv6框架下对节点的乒乓式移动进行了研究,提出了一种与分层框架相吻合的快速无缝切换机制.该机制通过设置资源预留激活标记和离线倒计时,有效地减少了QoS切换信令并降低了切换时延,从而降低了网络传输负担和用户服务中断概率.移动节点可根据自身移动特性设置适当的离线倒计时间隔,以使多个邻近区域内的资源预留能获得更好的性价比.

IS-IS路由协议一致性测试的研究与实现22-24

摘要：随着网络规模以及网络处理速度的飞速增长,高效稳定的路由协议成为保障网络性能的重要因素.协议的一致性测试是保证网络设备之间正确、安全和高效互连的有效手段.IS-IS路由协议作为内部网关协议的主流协议,在现今的网络中有广泛的部署.本文在对IS-IS协议进行分析的基础上选择和实现了适当的测试方法和测试案例,利用现有测试系统Anvl提供的公共环境,设计并实现了Zebra上的IS-IS路由协议一致性测试框架.

基于ECC的定期更新的可验证秘密共享方案25-27

摘要：本文提出了一个基于椭圆曲线密码体制（ECC）的、定期更新的可验证的秘密共享方案.该方案具有子秘密定期更新、子秘密可验证和可防欺诈的特点.方案的安全性基于求解有限域上椭圆曲线离散对数问题（ECDLP）的难解性.

网络入侵检测系统中无导师学习分析器的设计28-29

摘要：本文在基于数据挖掘的网络入侵检测系统框架基础上设计了一个无导师学习的分析器模型.该模型结合了核k-means聚类、模式挖掘、近似串匹配的方法,训练过程不需要使用带标记的数据,并且不需要保证每个训练数据集中正常数据和异常数据在数量上的比例关系.实验结果表明,该模型具有较高的检测率并降低了误报率.

一种基于角色和部门的访问控制模型30-33

摘要：本文在典型RBAC的基础上,结合实际应用需要提出了一种基于角色和部门的访问控制模型,将部门从角色的一个属性独立抽象出来,成为权限控制中的一个要素,使角色和部门共同决定主体对客体的访问权限.对该模型的实现方法进行了分析和研究,设计了模型实现的三层框架结构和控制访问策略的一个算法.

面向ForCES路由器结构的BGP Graceful Restart技术研究34-38

摘要：本文在介绍转发控制分离体系结构和网络高可用性相关技术的基础上,系统地介绍了BGP Graceful Restart扩展技术.在Graceful Restart技术的支持下,路由器能够在控制系统故障重启后,在重新建立网络邻接关系的过程中保持转发平台继续转发数据,从而避免了暂时性的路由振荡.最后,文章重点描述了基于转发控制分离结构IPv6路由器平台环境的BGP Graceful Restart实现方案.

WCA：一种面向Web系统的通用组件架构39-42

摘要：随着Web应用的爆炸式增长,面向Web的工程理论和方法研究得到了广泛的重视.本文针对Web工程应用中存在的通用架构设计和组件重用等问题,提出了一套灵活、可扩展的Web组件架构模型WCA,以及与之相辅的一套Web系统分析、设计、编码与测试的方法体系.

计算机工程与科学杂志图形与图像

一种以负载平衡为目标的分布式VOD系统视频文件存储方法43-45

摘要：本文在研究一种分布式视频服务器负载平衡算法的基础上,引入了服务器端视频文件分盘存储的思想.通过仿真实验分析表明,对视频文件分盘存储能够降低系统的服务拒绝率,更进一步地提高了视频服务器效能.

基于三维分枝模型的树木模拟46-48

摘要：虚拟自然场景的实时生成一直是图形学研究领域中一个富有挑战性的难题,作为自然场景的重要组成部分,树木的模拟也得到了广泛的重视.本文在实际建模中以三维分枝模型为基础,与随机繁衍L系统相结合,对树木模型进行了一些改进.将光源和重力的影响加入枝段的模型中,使生成树木的形态更加逼真;改进了分枝模式,使得生成树木的随机性得到加强;在绘制时根据不同距离选择不同复杂度的树木模型,加快了渲染的速度.

图像纹理特征相似性度量的研究49-52

摘要：纹理是图像的重要属性,基于纹理特征检索图像是当前的研究热点,对图像的纹理进行相似性比较是进行图像检索的关键.根据纹理的特点,本文将通用的向量空间模型进行拓展,构建了一个针对簇集进行相似性匹配的模型—聚类空间模型,对图像纹理相似性进行度量,并据此实现了无需分割的多纹理图像检索.我们分别针对单纹理图像和自然图像库进行了实验,获得的实验结果与人类视觉认知的结果一致.

基于时间戳的实化视图多版本维护53-56

摘要：实化视图的一致性维护是数据仓库联机维护的关键问题.本文分析了基于三层数据仓库体系结构的3VWQ算法中潜在不一致性的原因,给出了三层结构的改进方法并引入时间戳作为中间版本实化视图的一致性维护标记;提出一种基于时间戳的补偿算法,实现了增量查询维护过程中不一致更新的本地补偿,从而在保证较好性能的同时解决了维护查询过程中的一致性问题.

一种鲁棒文本水印的算法研究57-59

摘要：文本水印是一种有效的数字文本版权保护技术,鲁棒性和安全性是其研究的核心问题之一.基于单词间字符统计特征的文本水印（简称TWSCIWC）是一种同时基于内容和格式的文本数字水印算法,具有一定的鲁棒性.本文提出了TWSCIWC的改进算法,引入了冗余嵌入思想和非对称加密签名技术,讨论和分析了这一算法较好的水印性能.

基于图像边缘小波矩和支持向量机的目标识别60-61

摘要：小波矩结合了矩特征和小波特征,既反映了图像的全局性信息,又反映了图像的局域性信息,并且具有旋转、平移和缩放不变性.利用小波矩与支持向量机进行目标识别,不但解决了图像识别中特征量随图像旋转、平移和缩放而变化的问题,而且提高了对近似物体的识别能力,是解决小样本、近似图像识别的有效方法.