研究领域
可信软件理论与验证问题
- 程序循环分析与总结
- 基于博弈论的安全路由决策
- 基于知识图谱的软件缺陷预测
- 软件安全形式化建模与验证
- 安全需求工程---安全需求保障体系与评估
- 软件安全测试方法与可信属性评估
- 软件安全评估与软件体系安全性评估
网络安全问题
- 物联网安全协议分析与测评
- WEB软件安全行为分析、检测与评估
- 网络攻防与软件可信性问题
- 网络安全协议建模、设计与验证
- 密码安全协议分析与设计
移动安全问题
- 移动互联网安全行为检测与分析
- 移动端安全关键技术研究
- 移动安全协议的形式化分析与验证
物联网安全问题
- 物联网安全关键技术研究
- 传感器网络安全问题分析与验证