论文部分内容阅读
针对可信软件系统开发的迫切需求,该文分析了面向方面技术在可信软件开发中的优势,提出了覆盖整个开发过程的可信软件开发框架,并概述了可信软件的面向方面需求分析技术、设计技术、实现技术和测试技术,探讨了一种提高可信软件质量的新技术途径。
可信软件的面向方面开发框架与技术
【摘 要】
：
针对可信软件系统开发的迫切需求,该文分析了面向方面技术在可信软件开发中的优势,提出了覆盖整个开发过程的可信软件开发框架,并概述了可信软件的面向方面需求分析技术、设
【机 构】
：
北京系统工程研究所,北京 100101
【出 处】
：
全国抗恶劣环境计算机第十七届学术年会
【发表日期】
：
2007年期
其他文献
SCADA即数据监控与采集系统,是控制基础设施运转的关键系统。针对SCADA系统的信息安全防护与关键基础设施的安全密切相关。该文介绍了SCADA系统的概念和结构,总结了SCADA系统
针对超声衍射时差法存在近表面检测盲区问题,在简述参数优化法、变型波法、频谱分析法以及自回归谱外推法的盲区抑制原理的基础上,分别给出了每种方法的算例,探讨了不同方法
在海洋钢结构平台18英寸及以上管径的工艺管线射线作业中,利用射线机进行中心曝光需将射线机固定在管子中心部位.本文设计并制作了一种射线机升降装置,用于调整射线机在工艺
阐述了锅炉压力容器定期检验时,审查出厂资料过程中发现的射线检测问题,涉及射线检测各要素,如射线源、胶片、像质计的选用及检测标准的使用、检测工艺等方面的问题,从不同角
针对半自动焊手工焊管道环焊缝的特点,从检测系统(检测设备、探头等)的选用入手,对AUT检测聚焦法则进行研究,初步建立一个覆盖性比较完备的检测方法适用范围.然后,根据检测的
介绍以Excel(电子表格)作为计算分析工具,叙述了绘制曲面工件缺陷定位修正曲线的方法,并对缺陷定位修正曲线进行了数学回归分析,提高了曲面工件缺陷定位精度.
介绍了物理隔离技术,重点对物理隔离网闸(GAP)的概念、工作原理、组成和功能进行了详细的介绍。以一个专用交换通道型物理隔离网闸系统为例,从系统架构到模块设计,介绍了物理
在对传统的RBAC模型和通用访问控制框架(GFAC)进行了研究和优化处理的基础上,提出了一种基于RBAC的通用访问控制模型,阐述了此模型的特点及其访问控制策略,引入了分类、约束
现阶段,我国开展计算机信息系统安全保密产品的测评认证机构有好几家,市场上推广销售的计算机信息系统安全保密产品名目繁多,但尚无权威的关于计算机信息系统安全保密产品分
会议