【摘 要】
：
为了更加有效地开发安全可信的软件,需要在软件开发生命周期中尽早考虑安全问题.为了解决这一问题,提出了一种基于设计级别的攻击场景生成安全测试的方法,该方法包括建模并验
【机 构】
：
天津大学计算机科学与技术学院,美国北达科他州立大学计算机科学系
【基金项目】
：
国家高技术研究发展计划(863计划)资助项目(2007AA01Z130);国家自然科学基金资助项目(90718023)
论文部分内容阅读
为了更加有效地开发安全可信的软件,需要在软件开发生命周期中尽早考虑安全问题.为了解决这一问题,提出了一种基于设计级别的攻击场景生成安全测试的方法,该方法包括建模并验证攻击场景,用攻击场景生成安全测试序列,基于输入语法生成测试输入数据,生成模型级别的安全测试用例,将模型级别的安全测试用例转化为可执行的安全测试用例.设计并实现了一个实验,验证了所提出方法的可行性和有效性.
其他文献
教学秘书队伍是高校教学管理中的一支最基础的队伍。本文从职业生涯理论出发,结合一定的工作经验及体会,深入探讨高校教学秘书的职业成长路径。
光伏发电是我国鼓励和支持开发清洁能源的一种有效发电方式。笔者依据自身设计体会,论述了电气设计专业在光伏发电中应注意的几方面要求,并对光伏电场建设规模、场区内集电线
目的探讨颈动脉粥样硬化斑块状态及性质与溶血磷脂酸（LPA）及磷脂（AP）水平的关系,从而揭示LPA及AP对缺血性脑血管病的早期预警作用。方法对75例颈动脉超声提示存在颈动脉粥样硬化
作为“天庾正供”，清代漕粮例不它用。然而自康、雍之后，清代政府越来越多地将漕粮截拨，或截留地方，或调拨他处，由此漕粮除了运至京、通各仓供朝廷消费之外，日益用于他途，用于社会，或
针对目前化学品生物毒性评价和预测中存在的问题，采用以范德华体积（Ｖ）和电负性（Ｅ）为结构参数的自相关拓扑指数法，建立了５４种有机化学品的分子结构与青锵鱼急性毒性（４８ｈＬＣ５０）的定量构效关系数学
“金砖五国”自诞生以来,五国经济明显呈增长状态,对外贸易规模不断扩大,“金砖五国”的地位得到了进一步提升。本文通过对比分析“金砖五国”经济发展,对“金砖五国”进行经
工程岩体是由节理、裂隙等结构组成的不连续介质体,深部巷道处于高地压、强扰动的复杂工程环境中,裂隙岩体的岩爆倾向性是深部工程安全稳定性研究的重要课题。本文以矿井深部
对碱消解-火焰原子吸收分光光度法测定土壤和沉积物中六价铬时共存元素和pH对其测定结果的干扰进行研究。结果表明,消解液和缓冲液中的Na、K元素对六价铬的测定有干扰,可通过
分析医院对无线护理系统的需求，从系统构架、整体功能两方面介绍移动无线护理的应用系统的设计，指出应用此系统可推进电子病历的移动应用、减少医疗差错、提高工作效率与服务质
在实际的管理当中我们发现,一个建筑项目所需要的施工人员就好几十人甚至上百人,这是靠企业的制度和人员的管理,只有制度完善、管理恰当才能更好地约束人的行为,规范人的行为