科研专业方向
研究领域：
基础软件
研究方向：
信息安全; 软件工程
郭教授
副教授
湖北武汉市
科研重点分布
近年科研重点
2015
程序验证 静态分析 最弱前置条件 符号执行 控制流图科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：2
总数:
2
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 昆士兰科技大学信息系统系 | 1 |
| 武汉大学计算机学院 | 1 |
| 武汉大学杂交水稻国家重点实验室 | 1 |
| 佐治亚理工学院计算机科学系 | 1 |
| 武汉电力职业技术学院电力工程系 | 1 |
| 软件工程国家重点实验室(武汉大学) | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 基于k近邻最弱前置条件的程序多路径验证方法 | 国家自然科学基金 |
荣誉&成就
暂无荣誉成就信息
科研成果
- 期刊论文
- 专利
流程变体向可配置流程模型的变更传播
基于k近邻最弱前置条件的程序多路径验证方法
一种基于高阶正形置换的密码构造方法及系统
一种基于一类密码学置换的随机口令生成方法及系统
一种基于高阶正形置换的密码构造方法及系统
一种密码学置换的枚举方法及系统
展开全部
数据信息来源于网络，若有侵权请联系客服