基于约束特征匹配的软件安全性缺陷静态分析技术及在金融业的应用

摘要：

操作系统的安全性缺陷分析与检测对保证计算机系统安全尤其是对于大范围应用计算机操作系统的金融业具有非常重要的意义。本文研究基于操作系统源程序的静态分析技术，探究将静态分析应用于金融系统安全问题及操作系统安全性缺陷分析系统对应程序的实现路径。

关键词：静态分析、操作系统、缺陷发现、技术应运

分类号：F830.31(金融、银行)

在线出版日期：2015-01-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：91-93,96