For Web applications, the most important type of security static analysis is called taint flow analysis.
对于Web应用程序，安全静态分析最重要的类型叫做污染流分析。
2
Describe the flow of the AODV after modification and carry out securityanalysis.
描述了对修改后的AODV协议的流程，进行安全分析。
3
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.