论文部分内容阅读
本文通过对基于构件的软件系统进行可信性分析,研究了实施可信软件开发的参考模型,并针对所提的可信封装、可信组合和可信验证与评估技术分析了其技术特点和开发方法,为基于构件的可信软件开发提供技术支持。
基于构件的可信软件开发技术研究
【摘 要】
：
本文通过对基于构件的软件系统进行可信性分析,研究了实施可信软件开发的参考模型,并针对所提的可信封装、可信组合和可信验证与评估技术分析了其技术特点和开发方法,为基于
【机 构】
：
北京系统工程研究所 北京 100101
【出 处】
：
第十七届全国信息保密学术会议
【发表日期】
：
2007年期
其他文献
应用集群计算平台实现软件无线思想是极具发展前景的研究方向。当宽带大容量数据采集进入并行计算机网络后,通过集群计算方式对强衰弱通信信号实现高增益低延时处理,达到有效
会议
Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。本文给出了一个分布式环境下的God
本文着重将手工相控阵检测技术引入到海底石油管线检测的应用中去,针对海管特定的壁厚和坡口形式提出了全新的相控阵(PAUT)检测参数设置,并在ESBTOOL模拟仿真软件中进行了声
分析了Monte Carlo(MC)仿真方法在金融计算中的应用,给出了股票期权定价MC算法,分析并验证了定价算法并行化效果.研究表明,在高性能计算环境下,MC方法是实现复杂金融计算的有
k-元n-立方(Q)网络被广泛应用于直接互联网络并行处理系统中。传统定义下的Q每一维上的节点数相对固定,可扩展性差。因此,利用一维环的交叉乘积对k-元n-立方网络进行了推广,
本文提出了一种新的基于纹理的高质量矢量场实时绘制技术。在矢量纹理空间相关性上,通过对该卷积纹理在垂直矢量方向上的一维高通滤波以提高矢量线的对比,改善质量;在矢量纹
会议
介绍了海洋平台钢结构焊缝磁粉探伤过程中,探伤操作人员的常见错误做法。讨论了这些错误做法对探伤结果和生产安全造成的影响,并给出了正确的操作方法。
The common mistake
海油工程工艺管线的无损检测通常采用传统的RT(射线检测),PAUT(相控阵超声波检测)作为一种新技术,其基于UT与RT的检测原理不同,对不同缺陷的敏感度也不同.本文通过两种方法对
采用Wave2000数值计算软件对一块16mm厚人工试板中模拟氢致开裂缺陷进行超声Lamb波仿真模拟。结果表明采用Lamb波检测压力容器板材内部氢致开裂缺陷是可行的,同时给出了最优
提出了面向服务的层次化入侵容忍模型,将模型设计成五个层次,并细化了各个层次的设计。其中入侵防御层能灵活应用当前的安全工具,有很强的实用性,同时能根据网络环境和需要保
会议