构件栈缓冲区溢出漏洞检测系统的设计与实现

随着COM构件技术的广泛使用,COM构件暴露出越来越多的缓冲区溢出安全漏洞。为进一步提高COM构件的安全性,本文设计实现了COM构件栈缓冲区溢出漏洞检测系统CSDS（component stack-overflow detectingsystem）,并在其中实现了一个栈溢出检测算法。CSDS主要有接口分析、函数定位、栈溢出静态分析和结果输出4个模块,接口分析模块分析被测COM构件得到构件的对象、接口及函数的详细信息;函数定位模块获取构件中用户编写的函数在该构件对应的汇编代码中的线性地址;栈溢出静态分析模块使用提出的栈溢出检测算法生成COM构件汇编代码及分析栈溢出漏洞;结果输出模块将检测结果用XML的形式表示出来。所实现的原型系统CSDS对COM构件栈缓冲区溢出漏洞具有一定的检测效果。     

协同CAD系统结构及关键技术

提出了一种基于Java/CORBA/XML的开放式协同CAD系统模型。在该模型系统结构中，各功能和应用模块被封装成便于复用的Agent构件，由软总线实现集成；使用组件和XML技术，简化了复杂的通信问题，增加了系统的柔性；使用XML表达的基于设计语义的同步协同设计极大地减小了网路流量，基于XML异步交换的数据保存了设计历史和特征之间的关系；采用基于关系的快速参数化方法，解决了模型快速重建的问题。同时也对人机接口、产品工程数据建模，以及分布式安全等协同设计中关键问题的解决进行了分析说明。     

基于变异技术的第三方构件安全性测试系统

针对基于变异技术的第三方COM(component object model)构件安全性异常的自动检测问题,设计实现了一个第三方构件安全性测试原型系统TCSTS(third-party component security testing system).TCSTS系统的主要功能模块有构件接口分析模块、参数变异测试模块、条件变异测试模块、状态变异测试模块和安全分析模块.构件接口分析模块能分析得到被测试构件的接口方法和参数信息;在参数变异测试模块中,采用参数变异测试用例生成算法生成参数变异值集合进行变异测试;在条件变异测试模块中,生成违背前置条件的测试用例并结合后置条件检测条件语句中是否存在安全漏洞;在状态变异测试模块中,基于行为冲突算法和条件冲突算法变异可扩展有穷状态机以生成冲突序列,进而参照变异前序列进行安全性测试,最终通过安全分析模块生成测试报告.试验结果表明:所设计实现的TCSTS原型系统具有自动化程度高、操作简单以及测试效果较好的特点;TCSTS对异常序列的检测率达到了20%以上,表明TCSTS能够较好地对构件中状态相关的安全漏洞进行检测.     

Java中Excel操作类的设计与实现

为解决Java应用程序中复杂报表的打印问题,提出了一种采用JNI和COM技术、在Java中操纵Excel实现强有力报表工具的方法.在Java中利用JNI与COM的通信方式,通过对Excel各COM对象的调用,完成在Java中对Excel的操作;同时将Excel的各COM对象映射为Java对象,调用自行设计开发的一组纯Java API,实现在Java中的复杂报表功能.首先描述了该方案提出的方法和功能,然后给出了系统构架,最后讨论了Java和VC 的实现代码.     

认知Ad Hoc网络仿真模型的设计与实现

针对认知Ad Hoc网络信道分配算法研究需要,提出了一种基于NS2的认知Ad Hoc的扩展模型.该模型是在原NS2节点模型上进行扩展;借鉴Czou思想,使用CM（channel management）模块对信道信息进行管理,在模块中实现信道的选择算法以及信道状态的更新;采用专用控制信道,用于交换控制信息和实现广播;节点根据信道选择规则选择数据信道,实现数据流的传输.仿真结果表明,设计方案合理,能满足基于数据流的信道分配算法研究的需求.     

嵌入式数据分析类仪器软件应用框架的开发

基于嵌入式数字化仪器的领域分析,提出了数据分析类仪器嵌入式软件的体系结构和框架描述,并采用构件化技术进行框架设计,开发了一系列针对该类仪器软件的可配置、可扩展的通用构件库和专用构件库.同时,在构件库设计和框架设计中使用了多种设计模式,使框架设计更合理、更易于使用.应用该框架,用户可以按照应用需求选择构件库进行分析类仪器软件系统的构建,以提高开发效率和软件质量,同时获得极短的开发周期.     

基于构件的虚拟仪器开发环境模型

针对虚拟仪器开发的复杂性、多样性和重构性问题,引入了构件化仿真技术,据此提出了一个通用的构件化虚拟仪器开发环境模型(CVIDE),阐述了基于该模型的虚拟仪器开发平台的组成,构件的提取、定义和实现,介绍了该平台的运行原理,给出了液压测试系统的实现模型。     

基于COM的效能评估模型可重用性研究

针对不同效能评估系统每次都需要独立地实现评估模型而存在着许多重复性工作的问题,提出了一种可重用的评估模型设计方法。该方法采用COM组件技术,将评估模型设计并实现为独立的COM组件,进而构造通用的可重用的评估模型库。选择ADC评估模型为例,讨论了评估模型的COM组件实现、与效能评估系统的集成等关键问题,并给出了一个效能评估实例。实验表明,该方法不仅保证了评估模型的可重用性,也使得评估模型组件可方便地集成到不同的效能评估系统中,适应不同应用系统的评估要求,提高了效能评估系统的开发效率和可维护性。     

一种面向工程的构件式软件体系结构模型

从软件体系结构服务于软件工程出发,总结出6种基本模型元素,建立一种新的构件式体系结构模型———EOCSAM模型,给出它的形式语法和语义.与其他模型不同的是,它将构件的接口、连接模式、性能等作为体系结构的第1类模型元素,并给出计算法则.它能更好地实现从应用需求到代码实现之间的逐步过渡映射,能够从功能、结构和任意多种性能的侧面对系统进行逐层跟踪分析,并可作为软件开发全过程的协同工作框架.     

基于语义绑定的分层视觉词汇库的图像检索

提出了一种解析复杂图像语义的模型——分层语义模型,给出了解析复杂语义和构造模型的方法.提出了基于分层语义模型的语义绑定的分层视觉词汇库的概念,给出了构造词汇库的具体方法和步骤,同时对词汇库细节问题给出了解决的方法.将提出的分层视觉词汇库应用于基于内容和语义的图像检索中,并给出了构建图像检索系统的方法和检索图像的步骤.该模型在图像检索中可同时满足基于图像内容的检索方式和基于图像语义的检索方式.实验结果表明,该方法比基于SIFT(Scale Invariant Feature Transform)特征向量的图像检索方法具有更好的性能.