论文部分内容阅读
Vulnerability-testing Oriented Petri Net(VOPN), a vulnerability testing model for communication protocol is brought forward rst, which is combined Petri Net system with protocol Syntax analysis.Then vulnerability testing of implementation of HTTP protocol