前言
来源:李晓红教授,天津大学智能与计算学部网络安全学院副院长
内容分为软件网络安全、移动网络安全、web安全
一、基于路径依赖自动化循环分析技术
使用路径依赖自动机表示程序各个路径之间的关系。
1)整型循环总结
2)字符串循环总结
3)终止性分析
key word:析取式、合取式、增减性分析、秩函数
核心:做增减性分析
将控制流图中的每条路径作为一个状态
二、安全博弈论的中间人攻击防御策略
1.插桩
2.挂码
问题:数据不平衡
三、基于小样本学习的移动应用恶意行为检测技术
基于孪生网络训练
非常感谢李晓红教授的分享!