论文部分内容阅读
提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.
基于软件行为的可信动态度量
【摘 要】
：
提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息
【机 构】
：
北京工业大学计算机学院;
【出 处】
：
武汉大学学报(理学版)
【发表日期】
：
2010年02期
【基金项目】
：
国家重点基础研究发展计划(973)项目(2007CB311100)
其他文献
随着全球经济一体化的进一步深入,国有经济“大而全、小而全”的弊端逐步显现,专业化生产规模不大,核心竞争能力不强,严重地制约了国有经济的发展。目前,国内飞机起落架的生
目的利用古盐度数据为有争议的塔里木盆地上古生界地层的沉积环境研究提供判定依据。方法对盆地巴楚、塔中、塔北地区的上古生界泥岩样品进行B,Ba,Sr,Ga等微量元素及K2O含量
云南个旧地区是我国滇东南锡成矿带上最重要的超大型锡、铜多金属矿集区之一。长期以来,个旧锡矿一直以其巨大的锡多金属资源储量、众多的矿床类型以及悠久的开发历史而闻名
温压工艺是一种低成本制造高密度、高精度、高性能的铁基粉末冶金材料的方法。论文在国内外温压技术研究进展的基础上,从宏观和微观的角度出发,采用理论分析和试验研究相结合
目的:研究采用PLGA构建的新型三维神经导管修复大鼠周围神经缺损的可行性,观察神经导管内微丝支架的作用以及不同数量的微丝对神经再生的影响,为最终研制出理想的人工神经提
背景:动脉粥样硬化(atherosclerosis,AS)是由于血管内皮细胞和平滑肌细胞受各种危险因子如病毒、机械损伤、免疫复合物,特别是氧化型低密度脂蛋白(oxidative low density lip
本论文以新疆十五个地州市和新疆总体入境旅游客流量为研究对象,利用数据散点图,分析出各地州市及新疆入境旅游的发展演变模式,总结出各地州市和新疆总体入境旅游业的发展阶
随着中国非物质文化遗产政策的推行,小红门地秧歌在2009年开始申报北京朝阳区级、市级以及国家级非物质文化遗产项目,随后,在2011年5月被列入国家级非物质文化遗产第三批扩展