【摘 要】
：
为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术——层次融合安全建模与检测技术。该技术采用多点建模技术,通过结合抽象建模、应用建模和数
【机 构】
：
中国石油大学计算机及通讯学院,胜利测井公司
论文部分内容阅读
为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术——层次融合安全建模与检测技术。该技术采用多点建模技术,通过结合抽象建模、应用建模和数据建模等机制来实现对安全特征的描述。此外该技术利用表示层、应用层等不同抽象层次的建模信息,通过自动机与模型合成技术来构建安全特征模型。最后结合基于应用切片技术对软件中的安全缺陷与隐患进行检测。该技术克服了常规安全建模与检测中存在的缺点,可以有效表示和检测各种安全特征,提高了安全模型的表达力、复用性和适用性,降低了安全检测的复杂度。
其他文献
本篇综述了人胎发育过程中，未分化性腺向卵巢开始分化的时间，中肾对卵巢分化具有诱导作用，以及卵巢卵泡细胞的来源等问题。介绍了卵巢发生中初级性索，原始性索及卵泡发生性索的来
研究视频的城市交通路口车流量检测准确率的问题,由于车速过慢,有效性差。针对目前的车流量检测算法仅限于单车道车流量检测及准确率低的问题,提出了基于高斯混合模型的多车
行政执法具有厚实的民主基础,行政执法权力来源于民主的授权,行政权力的扩张需要民主的制约,行政自由裁量权的正当性需要民主的支持,代议机关立法活动的代表性不足需要外部民
以NaOH作碱源,采用水热晶化法将粉煤灰转化成沸石。通过改变灼烧温度、NaOH浓度、液固比、晶化时间,考察合成条件对合成沸石阳离子交换容量的影响,并应用于焦化废水A/O出水的
词汇在英语学习中有着非常重要的地位。本文通过对语义学理论的阐释,分析中学生英语词汇学习与运用中出现的问题,利用语义学理论指导词汇教学,探索出适合中学生词汇教学的方
遗传和环境是Ⅰ型变应性疾病发病的两大重要因素.Edfors-Lubs通过对7 000对孪生子的流行病学调查发现,单卵孪生和双卵孪生者同时罹患花粉症、哮喘和湿疹中任何一种变应性疾病
随着环境污染日益严重，水资源的保护对于人类的生存发展和生态系统的安全来说越来越重要。然而目前对水质进行分析的最常用方法是物理采样，将水样带回实验室由研究人员进行分析
曾经渴望远行，去看看“忽如一夜春风来，千树万树梨花开”的塞外雪景；去听听汨罗江畔低沉的诉说与呜咽；去罗布泊找寻不归的探险勇士；去艰危蜀道上探望傲岸的青莲居士。曾经佩服三毛