【摘 要】
：
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,
【机 构】
：
北京工业大学计算机学院 北京 100124可信计算北京市重点实验室 北京 100124;
论文部分内容阅读
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
古往今来兮——历史与人文交融衡:2004年4月24日,西安市举办首届城墙集体婚礼,第二天几家都市报都在头版用大图作出报道,比来比去,惟《华商报》这张照片耐看受看。葛:我从陕
趋化因子(ehemokine)是目前已知最大的哺乳类动物细胞因子超家族[1].自1992年国际免疫学会议首次命名至今,已发现至少50余种趋化因子及20余种趋化因子受体.大量研究表明,趋化
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
为了探讨板栗愈伤组织对栗疫病的抗性机制,采用栗疫菌Cp-毒素处理板栗愈伤组织,分析了毒素对不同抗性的板栗品种愈伤组织病程相关蛋白、植物保卫素及游离脯氨酸含量的影响。
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
西安大慈恩寺是唐代长安城最宏伟的皇家寺院,玄奘法师在这里生活了11年。由玄奘法师亲自督造的大雁塔是古都西安的象征。大雁塔始建于公元652年(唐高宗永徽三年),玄奘法师为
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥