位置：成果数据库 > 获奖 > 获奖详情页
网络安全协议的模型检测分析及其支撑系统开发
  • 颁奖组织：,江西省教育厅
  • 类别：2013年，江西省高校科技成果二等奖（J13-2-041）
  • 时间：2013.9.18
  • 级别：二等奖
  • 所属机构名称：华东交通大学
  • 成果类型：获奖
  • 相关项目：基于事件逻辑的安全协议形式化分析及验证
同获奖项目
基于事件逻辑的安全协议形式化分析及验证
期刊论文 19 获奖 1
同项目获奖