-
石曙东
-
-
- 所属机构:湖北师范学院计算机科学与技术学院
- 所在地区:湖北省 黄石市
- 研究方向:自动化与计算机技术
- 发文基金:湖北省自然科学基金
相关作者
- 李之棠
- 作品数:236被引量:1,184H指数:18
- 供职机构:华中科技大学计算机科学与技术学院
- 研究主题:网络安全 计算机网络 防火墙 入侵检测 P2P
- 翁艳琴
- 作品数:6被引量:5H指数:2
- 供职机构:湖北师范学院计算机科学与技术学院
- 研究主题:串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
- 解颜铭
- 作品数:6被引量:5H指数:2
- 供职机构:湖北师范学院计算机科学与技术学院
- 研究主题:串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
- 彭绪富
- 作品数:42被引量:63H指数:5
- 供职机构:湖北师范学院计算机科学与技术学院
- 研究主题:系统设计 应急系统 教学模式 远程教育 环境污染
- 解云峰
- 作品数:6被引量:4H指数:1
- 供职机构:华中科技大学计算机科学与技术学院
- 研究主题:安全协议 形式化分析 串空间模型 SVO逻辑 形式化方法