• 基于虚拟机的关键信息提取与分析

    基于虚拟机的关键信息提取与分析

    论文摘要可执行二进制代码的分析是分析程序行为特征的重要手段,是检测恶意代码的主要措施。随着软件技术的发展,加壳、反调试、代码混淆等抗分析技术手段提高了二进制代码的分析难度。针对...
  • 基于有限自动机的软件行为建模方法的研究

    基于有限自动机的软件行为建模方法的研究

    论文摘要本研究课题属于“863项目:软件系统安全性逆向分析技术与系统”的部分研究内容,通过调研软件安全这一热点问题,发现软件行为建模在软件分析、测试和验证中都有重要应用。好的软...
  • 基于静态源码分析的软件安全测试技术研究与实现

    基于静态源码分析的软件安全测试技术研究与实现

    论文摘要随着计算机技术的快速发展,软件在各行各业得到了广泛应用,它已经成为我们日常生活不可缺少的组成部分。软件经过编译和测试,每千行代码中平均有10-20个缺陷。虽然软件公司通...
  • 指针逻辑的扩展与应用

    指针逻辑的扩展与应用

    论文摘要在信息时代,计算机软件技术得到了广泛的应用。然而,随着软件功能越来越强大,软件本身也变得愈发复杂,软件的可靠性和安全性越来越难以得到保障。在通常使用的C,C++或者Ja...
  • 应用软件安全访问控制层的连环锁技术研究与应用

    应用软件安全访问控制层的连环锁技术研究与应用

    论文摘要近年来,随着计算机犯罪率的逐年上升,对计算机软件安全的新技术研究已经日益引起了人们的高度重视。如何在软件访问架构模式上引入新的思路,通过独立的访问控制层来提高软件的可重...
  • 上海大通关电子支付系统分析与设计

    上海大通关电子支付系统分析与设计

    论文摘要上海大通关电子支付系统(以下简称电子支付系统或支付平台)是以方便企业用户,提高口岸通关效率为目的,利用网上电子支付取代人工柜台支付,不仅减少了企业时间、人力、财力的投入...
  • 一种用于指针程序安全性证明的指针逻辑

    一种用于指针程序安全性证明的指针逻辑

    论文摘要在社会逐渐走入信息时代的今天,社会的各个层面,包括工业界、政府机关、学校、商业部门等,都和计算机软件等信息系统结合越来越紧密。信息系统中的任何一个环节工作失败或是遭受攻...
  • 汇编指针程序安全性验证的研究

    汇编指针程序安全性验证的研究

    论文摘要随着计算机科学的飞速发展和计算机在全球日益普及,计算机软件越来越广泛的应用于各个行业。国家和社会的关键领域对软件的依赖程度日益增长,使得关键软件的高可信性质显得越来越重...
  • 使用事务内存同步机制的并行程序验证的研究

    使用事务内存同步机制的并行程序验证的研究

    论文摘要近年来,随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机硬件已经提供了越来越高效的软件运行平台。但是要更好地利用这些平台的并行优势,计算机软件就需要具备更好...
  • AOP技术及其在软件安全中的应用

    AOP技术及其在软件安全中的应用

    论文摘要随着软件产业的迅速发展和网络的日益普及,软件产品的安全问题受到越来越多的关注。分析并设计好的研究方法对于提高软件的安全性具有重要意义。代码攻击与代码保护是软件安全领域中...