Information Technology Reference
In-Depth Information
The description of state transitions, transition conditions and semantic operators of
the module is cited in Table 2.
If the URL analysis module reaches state s 4 it means that HTTP-request contains
query parameters that must be processed by the module of HTTP query analysis. The
transition to state s 7 means that URL is followed by the HTTP version field, which
must be processed by the module of HTTP version analysis. In any other case the
state machine A HTTP is transferred to final state s a .
3.3 Module of HTTP Query Analysis
The module of HTTP query analysis performs the following functions:
checks the string length of the variable name being passed via a HTTP-query. The
maximum length shouldn't exceed the value, specified in variable L VarLength ,
checks the data value of a specific variable. The maximum length shouldn't exceed
the value, specified in variable L ValLength ,
checks the number of parameters in HTTP-query. The maximum number of
parameters shouldn't exceed the value, specified in variable L NQuery .
The graph model of HTTP query analysis module is shown in Fig. 4.
Fig. 4. The graph model of HTTP query analysis module of finite state machine A HTTP
The description of state transitions, transition conditions and semantic operators of
the HTTP query analysis module is cited in Table 3.
In the case of transition to state s 7 the state machine starts the processing of HTTP
version number. In any other case the state machine A HTTP is transferred final state s a .
3.4 Module of HTTP Version Analysis
The module of HTTP version analysis checks that the version number equals to one
of the elements of string array S Versions . The graph model of this module is depicted in
Fig. 5.
The first module consists of three states s 7 , s 8 , s 9
S and three semantic operators
y 14 , y 15 , y 16
Y , that are executed during the transition of the machine from one state to
another. The description of state transitions, transition conditions and semantic
operators of the HTTP version analysis module is cited in Table 4.
Search WWH ::




Custom Search