软件安全性测试方法与工具

软件的应用越来越广泛,规模和复杂度不断提高,软件中的安全缺陷与漏洞也在不断增多,软件安全性问题日益突出.软件安全性测试是保证软件安全性、降低软件安全风险的重要手段.论述了软件安全性测试的特点、内容,重点研究了国内外软件安全性测试的主要方法与工具,分析了各种方法的优缺点与适用范围,提出了一种安全性测试工具的分类方法,总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发展方向.     

信息流安全特性的语义模型研究

以通信顺序进程为语法基础,结合信息安全模型对安全特性的约束,介绍并分析了几种针对信息流安全特性的语义描述,并提出了信息流安全的单向特性,对其进行了相关安全特性的证明,以期对正确标识合法信息流问题进行探讨,用于正确区分存在的不合法信息流,作为解决隐通道问题的理论依据,从理论分析的角度,尝试解决信息安全的根本性问题.     

基于聚类的等距嵌入算法

针对Isomap算法在处理一些有局部扭曲和不均匀采样的流形就难以得到好的结果的情况提出一种利用聚类算法和核函数来改进点之间距离的C-Isomap降维算法.实验中分别使用Swiss Roll和S-Curve两个数据集测试C-Isomap算法的性能.通过跟Isomap和S-Isomap算法的比较,C-Isomap算法取得了较好的效果.     

基于VC++6.0的双盘式渐开线测试仪齿廓偏差测量控制系统设计

双盘式渐开线测试仪是测量标准齿轮渐开线齿廓的高精度仪器之一.简要介绍了双盘式渐开线测试仪的测量原理和基于VC 6.0的测量控制系统设计.系统由测量软件控制研华数据采集卡PCL-818L采集测量值,通过串口将采集数据传给计算机,最后由软件进行数据处理得到被测齿轮的齿廓偏差并绘制出齿廓偏差曲线.     

基于分布式中间件ICE的应用架构研究

在分布式系统中,分布式平台之间的差异增加了开发的复杂性.基于一种轻量级的分布式中间件ICE,提出了在分布式异构环境中的一般架构模型.该模型可以降低模块之间的耦合度,解决服务器负载过大的问题.将该模型应用到网络安全管理系统中,解决了网络安全管理系统中平台差异问题和服务器负载均衡问题.     

基于动态SOFM的网络入侵检测

针对目前入侵检测系统误报率过高、检测率不高和对未知入侵检测能力有限的缺陷,提出一种动态SOFM的网络入侵检测方法,定义了聚类节点信任度,并根据竞争结果、信任度、中心相似度,制定节点的增删策略,提升聚类效果。使用KDD99数据集进行实验,结果表明系统在保持误报率低的情况下,入侵检测率有所提高。     

基于网络的3DGIS可视化研究

自适应可视化大规模复杂的空间数据已成为三维地理信息系统(3DGIS)的研究热点.为了从服务器传输可视化信息到客户端,文中提出了结点——层数据模型来组织三维场景,该三维场景提供了有效的数据管理方式,包括空间索引和渐进传输算法.服务器根据顶点和三角形数目,对场景元素不是提供几个预先计算的细节层次,而是连续分辨率的表达.客户端根据硬件的性能对复杂三维场景自适应多分辨率可视化,满足多用户并发访问的要求.实验证明,文中的方法能有效地解决大规模复杂空间数据模型的快速可视化.     

基于最小二乘支持向量回归机的Mamdani模糊系统结构

为了提高模糊系统处理高维问题的推广能力,基于最小二乘支持向量回归机(LSSVR)的思想提出了一个设计Mamdani模糊系统的新算法。传统算法都存在过学习问题,该算法在目标函数中考虑了结构风险避免了过学习现象,并将模糊系统的参数寻优问题转化为一个二次规划问题进行求解。在此算法中,构造了一种新的具有语言意义的数据依赖型模糊核函数,它是一种Mercer核。实验结果证明,该算法提高了Mamdani模糊系统的逼近能力和推广能力。     

基于DSpace数字仓储技术的技术市场信息系统研究

文章阐述了DSpace数字仓储技术的概要和技术框架,分析了DSpace系统的优越性,并且提出了利用Dspace数字仓储技术构建技术市场信息系统的构想和方案.     

一种在ASP.NET中调用存储过程的新方法

提出了一种新的在ASP.NET中调用存储过程的方法。该方法和通用方法相比,具有可以提高开发速度,代码容易维护的优点。