-
马小薏
-
-
- 所属机构:江西省公安厅
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
- 发文基金:江西省教育厅科技计划项目
相关作者
- 肖美华
- 作品数：87被引量：234H指数：8
- 供职机构：华东交通大学
- 研究主题：形式化方法 SPIN 安全协议 形式化分析 图像
- 邓宸芳
- 作品数：3被引量：1H指数：1
- 供职机构：江西省公安厅
- 研究主题：安全协议 形式化分析 网络安全认证 网络安全
- 薛锦云
- 作品数：136被引量：555H指数：13
- 供职机构：江西师范大学
- 研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
- 江耘
- 作品数：22被引量：56H指数：5
- 供职机构：南昌大学管理学院
- 研究主题：电子商务案例分析 案例教学 .NET 安全协议 形式化分析
