一种基于构件的可信软件系统框架及其表示

来源 :软件工程师 | 被引量 : 0次 | 上传用户:woshixiaomei110
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件在信息社会中发挥越来越重要的作用,人们对软件系统的可信性方面的要求也愈来愈高。对可信软件和软件构件进行定义和分析的基础上,提出了一种基于构件的可信软件系统框架;一个基于构件的可信软件系统框架包括软件系统的信任根构件、可执行的构件集、HASH函数以及构件之间的控制权可信转移协议等部分;在此框架下,对基于构件的可信软件系统进行描述和表示。为基于构件的可信软件系统的构造和开发提供相应的理论支持和借鉴作用。
其他文献
太仓市科技产业园以大力发展具有低碳特色的战略性新兴产业为未来发展方向,本文作者在分析了太仓市产业科技园基本现状的基础上,对该园区开展调研,指出目前产业园内存在的五
生殖健康是由世界卫生组织提出,近几年在国际上广为传播的新概念,代表了人类文明进步的新趋势,受到了人口与计划生育和卫生界的高度重视,实际上已经成为一个新的学科领域.生
<正>2018年,长三角地区港口共完成货物吞吐量46.22亿t,同比增长2.4%,规模以上港口货物吞吐量占全国比重为34.62%;完成集装箱吞吐量9 025.64万TEU,同比增长5.56%,占全国总量比
学科竞赛能够促进大学生知识探究方法的改变、促进大学生各种能力的提升、完善大学生综合素质的培养、促进大学生完善人格的养成。经过开展多年的学科竞赛活动,形成了较为规
2019年4月15日,宁波市北仑区春晓滨海新城中国港口博物馆的阳光大厅,来自全国各地港口企业的新闻媒体宣传工作人员约60余人聚集一堂,共同就全国港口行业新时代新闻媒体宣传工
部编版《道德与法治》教材不是对人教版原教材的修编完善,教材秉承总主编鲁洁教授的“生活德育”的理念,在框架结构、编排立意上全部重新设计。新教材致力促进从“法制”教育
【正】滨海新区开发开放已经进入了一个关键时期,与二十世纪广东深圳特区、上海浦东新区建设相比,滨海新区的开发开放所面临的形势发生了深刻的变化。知识经济与世界经济一体
限制性股票一般授予后有一定的等待期,对于不可立即行权的权益结算的股份支付,存在着递延所得税费用的确认和计量问题。递延所得税的确认和计量不仅影响企业的所得税费用,而
新《幼儿园教育指导纲要》(以下简称《纲要》)明确指出:幼儿园艺术教育的目标为:“能初步感受并喜爱环境、生活和艺术中的美;能大胆地表现自己的情感和体验:用自己喜欢的方式
【正】随着季节更替,甲型H1N1流感病毒已成为流感病毒中的主导病毒。做好预防工作,除了养成良好的卫生习惯、保证充足的睡眠和勤于锻炼外,"吃"也是提高肌体免疫力的重要手段