论文部分内容阅读
安全软件的失效可能带来灾难性的后果或重大经济损失,因此,科学地评估安全软件的安全性十分必要.本文介绍了软件分级安全性的基本概念和贝叶斯模型,重点讨论了如何应用测试结果定量评估安
基于测试的安全软件的安全性评估
【摘 要】
：
安全软件的失效可能带来灾难性的后果或重大经济损失,因此,科学地评估安全软件的安全性十分必要.本文介绍了软件分级安全性的基本概念和贝叶斯模型,重点讨论了如何应用测试结
【机 构】
：
同济大学电子与信息学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2001年5期
【基金项目】
：
铁道部科技开发项目
其他文献
本文从分布式数据库系统中的面向对象技术的角度出发，对系统中的对象管理策略和调度策略作了详细的研究和讨论，并用扩展的时间Ｐｅｔｒｉ网理论对系统中的对象调度策略作了模拟。实践证明
随着我国农业经济的不断发展,以种养大户、农民专业合作社、家庭农场和农业产业化龙头企业为代表的新型农业经营主体日益显示出巨大的生机与活力,并已成为我国现代农业发展的
目的：本实验以异丙肾诱发心肌缺血大鼠为模型，观察循经取穴对大鼠心肌组织蛋白激酶PKC、PKG蛋白表达与氯离子(CL-)通道CFTR、CLCa1调控基因表达的影响，探讨经穴效应循经特异性机
高考是一项高风险的选拔性考试,具有重大的影响。小说阅读是高考语文的重要内容之一。任何一项考试,试题是关键。从构成来看,试题都可分为“内容”和“形式”两个部分,如果将
目的：本研究从晚清民国与1978年后的鼓胀(西医诊断为：肝硬化腹水,下文中均简称为：鼓胀)文献入手来探讨西医介入后,两个时期医家在诊治鼓胀时的中医证治规律特点及治疗方法特色。
在高度重视孩子素质培养的当下,让孩子学习一两门甚至更多艺术,成为许多家庭的选择。但《半月谈》记者调查发现,一些机构抓住家长心理,组织了名目繁多的艺术类赛事,凡参赛都
小学数学课程内容包含＂数与代数＂、＂图形与几何＂、＂统计与概率＂和＂综合与实践＂四个部分。其中,前三者占据了大部分的课程内容,＂综合与实践＂好似那冰山一角,毫不起眼。但这一隅之地却是
作为流通的重要环节，供应链愈来愈受到企业管理者的重视，并在学术界引起了广泛讨论。如今，将博弈论运用于供应链问题的研究也日益普遍。在市场竞争日趋激烈，食用油产品价格频繁波
摘要：近些年全国快递市场迅速扩大,北京市快递物流行业的需求日益增加,北京市快递收入稳步提高,快递物流行业的高增长性对北京市的GDP拉动作用日趋显著。但是快递业的“爆仓”
笔者应用加味当归芍药散联合恩替卡韦治疗慢性乙型肝炎肝纤维化患者63例,疗效较好。报道如下。1一般资料128例患者均为台州市中医院2014年2月~2017年6月期间门诊收治病例。采