一种软件可信分级模型

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。

企业网络可信评估实验模型的设计研究

企业的网络可信性评估是在国家相关法律和国际公约、标准[1]-[5]的相关规定范围内对企业的局域网进行网络可信性仿真环境下的评估实验测试。从实验方法学上对网络给出了一个从真实网络到仿真实验再到真实网络的网络分级的可信评估的具体模型和实现过程。网络建模过程采用抽取真实网络的网络数据[6],建立标准指纹特征库,建立仿真环境,产生发送离散随机测试协议数据包,按照测试模型构架处理、收集数据,根据可信评估的数学模型使用集合论的方法,用集合中的矩阵向量数据生成数据库并进行处理;在动态测试过程中采用了仿真环境下的破坏性崩溃测试方法。在真实网络上对结果数据进行抽样测试,验证模型建立的准确性和评估结果的可信性。

基于Trustie资源库的导航软件构件管理

结合导航软件生产现状与制约因素,提出对导航软件进行构件化改造,形成10大类120个共享构件。同时,利用Trustie已有成果,首先对Trustie构件资源库进行适应性改造,使之能适应导航软件生产;然后对导航软件构件在进入Trustie构件资源库之前,进行可信分级评估;最后利用该构件资源库,实现对导航软件构件的登记、查询、统计等管理,建立起导航构件资源库。该资源库的建立,极大地提高导航软件构件的可复用率,方便对构件的分类与管理,完成各类构件在导航软件协同生产环境中共享,为实现导航软件的大规模生产与敏捷制造奠定了基础。