-
马成林
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:华东交通大学软件学院
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点实验室开放基金
相关作者
- 肖美华
![](/images/user-pic.gif)
- 作品数:87被引量:234H指数:8
- 供职机构:华东交通大学
- 研究主题:形式化方法 SPIN 安全协议 形式化分析 图像
- 朱科
![](/images/user-pic.gif)
- 作品数:4被引量:7H指数:2
- 供职机构:华东交通大学软件学院
- 研究主题:KERBEROS GNY逻辑 协议安全性分析 网络安全 ANDREW
- 邓春艳
![](/images/user-pic.gif)
- 作品数:2被引量:5H指数:1
- 供职机构:华东交通大学软件学院
- 研究主题:KERBEROS GNY逻辑 协议安全性分析 网络安全 形式化分析