SHSA: A Method of Network Verification with Stateful Header Space Analysis.
Yufan YangXinli HuangShang ChengShiyun ChenPeijin CongPublished in: ICPADS (2016)
Keyphrases
- computational cost
- objective function
- verification method
- probabilistic model
- network model
- high precision
- detection method
- computationally efficient
- significant improvement
- prior knowledge
- data sets
- theoretical analysis
- support vector machine svm
- evolutionary algorithm
- network traffic
- preprocessing
- similarity measure