论文部分内容阅读
软件安全问题日益严重,为有效的从软件结构和代码中寻找漏洞,主要分析基于模型的静态安全检测方法.
基于模型的软件安全静态检测技术
【摘 要】
：
软件安全问题日益严重,为有效的从软件结构和代码中寻找漏洞,主要分析基于模型的静态安全检测方法.
【机 构】
：
金陵科技学院
【出 处】
：
硅谷
【发表日期】
：
2004年期
其他文献
用DirectDraw技术进行图像显示,速度快不闪烁.文中就DirectDraw的原理作了简要介绍,并给出在嵌入式导航系统中使用DirectDraw进行视频图像显示的实例.
This paper proposes a clustering technique that minimizes the need for subjective human intervention and is based on elements of rough set theory(RST).The propo
1 引言嫦娥一号卫星从2007年10月24日发射升空到现在已经运行了70余天.期间创造了我国航天史上多个第一:第一次超过地球以远8万公里、第一次摆脱地球引力、第一次被月球捕获
支持矢量机以其适于处理小样本问题的优势而得到了广泛的应用,在钢筋混凝土结构的领域的研究中.限于样本容量问题,支持矢量机尤其适合此类结构构件性能方面的统计分析,本文介
无人驾驶飞机简称“无人机”，是利用无线电遥控设备和自备的程序控制装置操纵的不载人飞机。在信息技术的发展下，计算机技术、电子技术开始在航空领域中得到了广泛的应用，本文主
介绍了KTC11矿用通信控制保护装置的结构、工作原理、性能特点及其在胶带运输机上的使用效果.与原胶带运输机六大保护相比,KTC11矿用通信控制保护装置具有技术先进、适用性强
Under the conditions of multiple hits and quadratic effects, the aircraft vulnerability assessment method is proposed by means of kill-tree diagram and state tr
从20世纪90年代初开始,受教育环境变化以及经济、社会发展等外部因素的影响,我国高校的毕业设计工作暴露出质量滑坡现象或潜在的危险.中国民航大学针对毕业设计工作中存在的
概述国际上小卫星技术发展现状和国外小卫星标准化问题的讨论,介绍小卫星的标准化特点、通用化和模块化的做法,探讨小卫星标准化的目标和思路,同时也分析小卫星标准化带来的利弊以及小卫星制定标准或采用标准的时机。
高温空气燃烧技术作为一种全新的燃烧技术在国内外得到应用和发展,利用Fluent软件对高温空气燃烧技术应用于某型航空发动机燃烧室进行数值模拟,并对数值模拟结果与传统燃烧技