摘要
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.
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 based on VOPN is made and the process is analyzed to prove the feasibility of the model.
