浅谈可信软件体系结构研究

来源 :电脑知识与技术:学术交流 | 被引量 : 0次 | 上传用户:winston_he
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机应用的不断发展,软件已渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用。但是,软件产品生产现状仍然不能令人满意,主要体现在软件质量得不到保证。为了解决这个问题,业界提出可信体系结构的概念,目前,可信体系结构发展中还存在一些亟待研究解决的问题:理论研究相对滞后,可信计算的理论研究落后于技术开发。迫切需要研究如下的问题:可信环境的构造与评估;软件系统可信性评价方法。
其他文献
基于企业网格具有多层次,多任务,多用户以及需要对不同访问采取不同的权限限制等特点,该文提出了一种采用工作流安全认证模型。在网格环境中,任务执行时需要有特定权限,如果
“中国福建木偶戏在亚太地区的传播交流推广”是国家艺术基金2014年度资助项目。2015年,相关交流活动将在柬埔寨、印度尼西亚、中国福建和澳大利亚等地相继开展。此项目旨在推
众所周知,娱乐圈从来不乏娱乐的奇闻和被娱乐的悬念。近日“王刚砸宝”话题,即已成为街头巷尾的热议。这个话题是从首都博物馆与北京电视台“天下收藏”栏目组联合举办的《“假
2012年3月31日,《启蒙的艺术》展览与“启蒙之对话”系列论坛及沙龙落下帷幕。一年问,展览总共吸引观众50余万人(次),通过5场论坛、9次沙龙与之相配合,让中国观众得以深入了解启蒙
现在不少家庭卫生间以及单位洗浴室都安装了干肤美发器,洗完澡后用徐徐的暖风吹去体表的水分,烘干湿漉漉的头发,让人感觉十分清爽舒适,尤其是在寒冷的冬季,更能有效防止感冒的发生
今年春节期间,一把号称2011年艺术品拍卖市场最贵玉器“汉代青黄玉龙凤纹化妆台(含坐凳)”被质疑为赝品。此事被多家媒体加以报道,如“北京中嘉国际拍卖有限公司(下称“中嘉拍卖”
SIMOVERT-S是具有组态灵活、功能全面、性能优越、界面友好、操作简单、运行可靠、维护方便的全数字大功率交流变频调速装置。本文简要介绍了某线材厂精轧机控制系统应用的西
该文简要介绍了C语言的发展过程、功能特点等。提出了以C语言为系统编程的媒介,重点论述了对微机设备进行功能二次开发的设想,完成了交叉通讯系统的设计,实现了由"主机系统、
肝血管瘤(liver hemangioma)是最常见的肝脏良性肿瘤,分为肝海绵状血管瘤、毛细血管瘤、血管内皮细胞瘤等。成人发病主要是海绵状血管瘤,而血管内皮瘤则多见于儿童。肝海绵状血管
北京二手市场综述:长久未有动静的诺基亚,终于在本月大发神威,主打机型正是炙手可热的 N 系列,在水货市场上露脸不久的 N 系列机型,竟然在二手市场出现,因此无论成色、配件、
期刊