Vulnerability Testing of HTTP based on Vulnerability-testing Oriented Petri Net(VOPN)

Vulnerability-testing Oriented Petri Net （VOPN）, a vulnerability testing model for communication protocol is brought forward first, which is combined Petri Net system with protocol Syntax analysis. Then vulnerability testing of implementation of HTTP protocol based on VOPN is made and the process is analyzed to prove the feasibility of the model.

VoDSL——分组语音的新应用

本文简要介绍了目前广泛应用的xDSL接入技术和VoPN技术,分析了由两者结合而产生的VoDSL系统结构及其应用前景。

扩展的语义分析的WAP协议缺陷测试

首先介绍了一种基于语义分析的缺陷测试技术。该测试方法利用语义测试及软件错误注入来进行测试。它比传统测试的成本要小,同时能达到很好的效果。但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷。本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法。它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的。这弥补了原缺陷测试在协议层面的不足。之后对该方法各个阶段进行了介绍。对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性。