For Web applications, the most important type of security static analysis is called taint flow analysis.
对于Web应用程序,安全静态分析最重要的类型叫做污染流分析。
Describe the flow of the AODV after modification and carry out security analysis.
描述了对修改后的AODV协议的流程,进行安全分析。
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.
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法。
应用推荐