安全协议的形式化描述和分析
90104026
2001
F0203.软件理论、软件工程与服务
陈火旺
重大研究计划
教授
中国人民解放军国防科技大学
30万元
安全协议.安全性.模型检测
2002-01-01到2004-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
