-
邓帆
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:解放军信息工程大学信息工程学院
- 所在地区:河南省 郑州市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点实验室开放基金
相关作者
- 李益发
![](/images/user-pic.gif)
- 作品数:76被引量:192H指数:7
- 供职机构:中国人民解放军信息工程大学
- 研究主题:CPK 安全协议 BAN类逻辑 密码协议 逻辑分析
- 邓少锋
![](/images/user-pic.gif)
- 作品数:15被引量:13H指数:2
- 供职机构:解放军信息工程大学信息工程学院
- 研究主题:安全协议 逻辑分析 组件 CPK 可证安全
- 霍腾飞
![](/images/user-pic.gif)
- 作品数:1被引量:1H指数:1
- 供职机构:中国人民解放军信息工程大学理学院
- 研究主题:安全协议 分析方法 可证安全 逻辑分析