大型复杂软件系统安全需求的体系结构模型

来源 :计算机科学 | 被引量 : 0次 | 上传用户:tom1313
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而传统的体系结构没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此在体系结构层次上描述安全需求还比较困难。本文首先论述了在体系结构层次上描述安全需求的必要性。然后,在传统体系结构单元——部件/连接件的基础上,引入了安全构件、半安全构件、安全连接件、半安全连接件等新的设计单元,并给出了这些设计单元形式化的语义和约束以及图形模型,解决了软件系统安全需求的构件表示方式。最后,用一个实例展示了软件系统安全需求的体系结构模型。
其他文献
通过分析我国炼焦煤资源及分布情况、炼焦煤的生产及质量状况,对捣固炼焦理论依据和优势进行一定深度的研究,从优化配煤、配煤原理、配添加物炼焦三个方面来论述提高捣固炼焦
衔接是语篇分析的重要课题之一。从Jakobson最早对衔接手段的研究,到Halliday与Hasan正式提出衔接理论,至魏在江先生提出的转喻衔接手段,衔接体系已日趋细密完善。对衔接的研
目的了解2型糖尿病患者的血清骨钙素(BGP)和碱性磷酸酶(AKP)的关系。方法测定55例2型糖尿病患者(肾病25例,非肾病30例)和27例正常人血清BGP、AKP)及骨型AKP活性分析。结果两组糖尿病
《大红灯笼高高挂》是一部经典之作,现已被戏剧、舞蹈等搬上舞台。文中将戏剧与舞剧形式的《大红灯笼高高挂》进行对比以及作品分析,包括服装、道具以及剧情等。
美国汉学家华兹生汉诗译介成就斐然,其译作已成为西方读者学习和了解中国文化的必备书目,产生了广泛均影响。考察华兹生的汉诗译作发现,其译诗选本主要具有如下特征:侧重名篇诗作
农村土地制度是农业增效、农民增收、农村稳定的关键。具有中国特色的家庭联产承包责任制 ,尽管在一定时期内对中国农业生产力乃至整个国民经济的发展做出了不可磨灭的贡献 ,
心理预设作为心理学中的一个现象,通过潜在的预设对心理活动起到一定语言性预设作用,在舞蹈治疗过程中也起着极为重要的作用,是治疗成功与否的一个前提。
目的总结胰岛素体循环回流和胰液肠引流式胰肾联合移植的手术技巧与围术期处理经验,以降低手术风险和并发症发生率,提高移植器官的长期存活率。方法回顾性总结分析2003-2010
在全球化经济快速发展的过程中,创业活动变得越来越重要。2015年李克强总理在政府工作报告中指出要把“大众创业、万众创新”打造成为推动中国经济继续前行的“双引擎”之一
学生干部的培养与管理是增强班集体凝聚力和战斗力的关键徐雷一个班级能否建设好,其中一个重要的因素就是这个班级对每个同学是否有吸引力,这个吸引力就是班集体的凝聚力。凝聚