论文部分内容阅读
操作系统的安全性缺陷分析与检测对保证计算机系统安全尤其是对于大范围应用计算机操作系统的金融业具有非常重要的意义。本文研究基于操作系统源程序的静态分析技术，探究将静态分析应用于金融系统安全问题及操作系统安全性缺陷分析系统对应程序的实现路径。
基于约束特征匹配的软件安全性缺陷静态分析技术及在金融业的应用
【摘 要】
：
操作系统的安全性缺陷分析与检测对保证计算机系统安全尤其是对于大范围应用计算机操作系统的金融业具有非常重要的意义。本文研究基于操作系统源程序的静态分析技术，探究将静
【机 构】
：
中国人民银行杨凌支行
【出 处】
：
西部金融
【发表日期】
：
2014年11期
其他文献
随着多核处理器时代的到来，虚拟化技术被广泛使用，而多核虚拟机就是其中一种．目前多核虚拟机监控一般都足采用硬件虚拟化的技术，即通过虚拟化技术虚拟出多个串口来达到监控目的．给
教学中教师普遍采用“提问”,“提问”是检查教师和学生学习效果的一个重要手段。如何在体育教学中抓住时机,恰到好处的提出问题,充分发挥提问在体育教学过程中的作用,是值得
工程索赔是市场经济中的一种普遍现象，也是工程承包商的一种正当权益和要求。在市场经济条件下，建筑市场中的工程索赔，是一种普遍现象。工程索赔，是甲乙双方在施工中，依据施工合同
为了实现智能轮椅多形态背部支起机构稳定和安全运行,课题组对各种形式角度调节机构进行研究、分析,提出轮椅的背部支起机构使用电动推杆来进行角度调节。搭建了背部支起机构
<正> 就贵州省如何抓住西部大开发机遇,加快航运建设和发展问题,记者最近采访了贵州省航务管理局局长、党委书记刘永凯同志。刘永凯说:上述问题的关键所在就是全省航运工作要
随着我国GDP的不断上升,人民对饮食质量的要求越来越高,尤其体现在绿色蔬菜、高蛋白产品上,这既是我国畜牧养殖业的发展机遇,也是挑战。我国畜牧养殖业从最初的开放式、散养
从伦理学的角度分析公平对我国高等教育资源分配的意义,提出实现高等教育资源分配公平的三条基本伦理原则,形式公平原则、机会公平原则和补偿性原则。
在当前粮改饲的发展带动下,牧草种植效益逐步显现,紫花苜蓿作为一种市场需求大的牧草品种,在畜牧业生产中能够实现对生产成本的有效控制,具有良好的市场发展前景,探索紫花苜
湿陷性黄土地基是最为复杂的地基类型之一，在具体实践中需要根据其工程特性采取可靠的地基加固措施，以保障基础的可靠性。文章就湿陷性黄土地基加固进行了浅要的探讨，供同行参考