晁永胜
- 作品数:4 被引量:25H指数:3
- 供职机构:中国石油大学更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于模型的软件安全预测与分析被引量:5
- 2008年
- 为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术。通过分析软件组成成分之间的关联度获得相关的安全距离,在此基础之上生成安全依赖图,最后根据安全依赖图进行安全预测和分析。基于模型的安全分析技术能够针对可能存在的安全隐患给出预测和分析,为软件的测试和维护提供依据和手段。
- 晁永胜郑秋梅
- 基于模型的软件安全性分析与研究
- 软件安全事件的频繁发生引起人们极大关注,对软件的安全性进行准确客观地分析与评估,是软件安全保障的前提和必要条件,本文正是基于此点展开论述与研究的。
为有效表示和检测软件中存在的安全隐患和缺陷,本文提出了一种基于...
- 晁永胜
- 文献传递
- 基于分块主颜色的图像检索方法研究与实现被引量:7
- 2006年
- 颜色直方图法是基于内容的图像检索系统通常采用的方法。提出了一种基于分块主颜色的检索方法,克服了颜色直方图无法表达颜色空间分布信息的缺陷,将简化的二次式距离计算方法应用到分块主颜色的匹配中,降低了算法复杂度,提高了计算效率和对图像相似度判断的准确率,从而提高了图像检索的效率。据此实现的图像检索系统的运行结果表明,该方法的查准率和查全率比颜色直方图法有明显提高。
- 郑秋梅晁永胜任平红孙绪华
- 关键词:图像检索颜色直方图
- 软件安全建模与检测被引量:15
- 2007年
- 为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术——层次融合安全建模与检测技术。该技术采用多点建模技术,通过结合抽象建模、应用建模和数据建模等机制来实现对安全特征的描述。此外该技术利用表示层、应用层等不同抽象层次的建模信息,通过自动机与模型合成技术来构建安全特征模型。最后结合基于应用切片技术对软件中的安全缺陷与隐患进行检测。该技术克服了常规安全建模与检测中存在的缺点,可以有效表示和检测各种安全特征,提高了安全模型的表达力、复用性和适用性,降低了安全检测的复杂度。
- 晁永胜郑秋梅
- 关键词:程序切片安全检测