---

前言

来源：李晓红教授，天津大学智能与计算学部网络安全学院副院长

---

内容分为软件网络安全、移动网络安全、web安全

一、基于路径依赖自动化循环分析技术

使用路径依赖自动机表示程序各个路径之间的关系。
1）整型循环总结
2）字符串循环总结
3）终止性分析

key word：析取式、合取式、增减性分析、秩函数
核心：做增减性分析
将控制流图中的每条路径作为一个状态

二、安全博弈论的中间人攻击防御策略

1.插桩

2.挂码

问题：数据不平衡

三、基于小样本学习的移动应用恶意行为检测技术

基于孪生网络训练

非常感谢李晓红教授的分享！