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

• 作者: 王楠
• 来源期刊: 西部金融
• 学科: 经济
• 关键词: 静态分析 操作系统 缺陷发现 技术应运
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 央 行 业 务
• 页码范围: 91-93,96
• 页数: 4页
• 分类号: F830.31
• 字数: 3786字
• 语种: 中文

摘要

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