• 基于一阶谓词逻辑的代码查询技术

    基于一阶谓词逻辑的代码查询技术

    论文摘要随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术是常见的软件质量保障技术。代码审查过程的核心活...
  • Web脚本攻击与防范检测研究

    Web脚本攻击与防范检测研究

    论文摘要随着Internet技术的发展,基于HTTP协议的各种Web应用程序正在改变着我们的生活方式。然而Web技术发展中所带来的各种安全问题也引起了多方面的关注。在诸多Web...