论文研究 一种自动化模型检测ANSI C程序的实用方法 .pdf

构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发

一种Web应用越权漏洞自动化检测实现，净山，徐国爱，作为互联网的高速发展的产物，Web应用已经暴露出越来越多的安全问题。为了弥补传统商业软件对于Web应用越权漏洞检测能力的不足，本

一种网页变更检测模型的研究，刘江，王枞，本文针对公共网站安全性建设中的网页篡改问题，设计了一个网页变更检测模型，介绍了模型的设计方法与工作机制。模型由网页采集与

针对目前所采用的分布式计算技术的若干缺点，提出一种基于Web自动化的分布式资源集成模型，利用Agent的自主性、灵活性、移动性等这些分布式对象技术不具备的特性，提供给用户高级的互操作与主动服务，实现基

一种行为模型的建模及模型精化方法，王帅强，马军，行为模型的建模和模型精化是软件工程中的基于模型驱动开发的关键问题。本文针对环境的形式化定义，提出了一种形式化的行为模型建

一种绕过应用防火墙过滤规则的XSS漏洞自动化检测方法，陆廷宇，李祺，XSS漏洞作为Web应用系统中重要的安全问题仍然具有非常高的危害性，随着应用防火墙等安全防护手段的介入，黑盒漏洞检测再次变成主流

基于图切分理论 ,提出了一种自动分割人脸的方法。对于一幅人脸图像 ,首先通过人脸检测算法 ,确定人脸图像的大致前景和背景区域 ;然后利用高斯混合模型建立其前景和背景区域的颜色模型 ;最后迭代地运用图切

GPS导航软件已经大量涌入市场，对于GPS导航软件本身的质量越来越受到重视。针对GPS导航软件的应用特点，提出了一种GPS导航软件功能自动测试框架，并介绍了相关实现技术，它能自动模拟软件的使用环境和G

研究论文-一种实用的光栅

为了增强对程序缓冲区溢出漏洞的检测，提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运行时检测的代码插桩；然后用BLAST提供的自定义安全属性语言