【摘 要】
：
在信息社会软件系统正在发挥着越来越重要的作用,对其可信性方面的要求也越来越高。文章在基于构件的可信软件框架基础上,对软件系统可信启动和完整性度量进行分析。根据在可
【机 构】
：
云南大学软件学院,云南省软件工程重点实验室
【基金项目】
：
国家自然科学基金[61462091];云南大学数据驱动的软件工程省级科技创新团队项目[2017HC012]
论文部分内容阅读
在信息社会软件系统正在发挥着越来越重要的作用,对其可信性方面的要求也越来越高。文章在基于构件的可信软件框架基础上,对软件系统可信启动和完整性度量进行分析。根据在可信系统运行中对可执行构件进行完整性度量的方式不同,得到不同的构件信任链模型——链式信任链模型、星形信任链模型、加入失效链后的信任链模型。最后,文章基于信任链来对系统中构件之间的可信性进行分析与度量。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
尼克松时期的环境外交是尼克松在其任内实施的双边、区域性和全球性环境外交政策的统称,被视为美国当代环境外交的肇始。尼克松本人对环境事务并不热心,其任内的环境外交政策
随着经济、文化、科技的进步,现代服务业逐渐成为国际贸易的重要组成部分,也成为衡量一国现代化水平的重要标志。本文从评价现代服务业国际竞争力的相关方法入手,采用贸易竞
提高城市建设质量,推进社会经济发展,优化市政工程施工技术,是有关部门应重视的问题。本文基于某市政工程案例,简单分析市政工程施工技术优化,对工程施工效率、城市建造水平
茶是"百草之首,万木之花,贵之取蕊,重之摘芽,呼之茗草,号之作花",茶叶微苦而有甘味,所含的儿茶素、维生素C、维生素E,对防治癌症有一定的功效.茶树为中性偏阴的植物,有喜温、
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
摘要：山西农民专业合作社发展迅猛，在全国数量名列前茅，但是发展中存在的问题也不少。作者结合本职工作，就山西灵丘县农民专业合作社目前发展现状进行了深入调查与分析，发现以下4
对国内外用药流程进行对比分析,综述信息化技术在临床用药中的作用,提出应在医院信息化发展下对用药流程进行改进,为今后临床用药流程再造提供借鉴。
目的分析凝血功能及糖化血红蛋白对判断糖尿病进展的临床意义。方法选取98例在本院治疗的糖尿病患者,将新发现糖尿病患者50例纳入观察A组,其余48例伴随微血管并发症患者为观
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield