您的位置： 专家智库 > >

湖北省自然科学基金(2006ABA056)

作品数：7 被引量：5H指数：2
相关作者：石曙东翁艳琴解颜铭彭绪富徐雄更多>>
相关机构：湖北师范学院更多>>
发文基金：湖北省自然科学基金湖北省教育厅青年基金湖北省教育厅重点项目更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 5个自动化与计算...
  • 2个机械工程
  • 2个电子电信
  • 1个经济管理
  • 1个天文地球
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个社会学
  • 1个文化科学
  • 1个理学

主题

  • 3个电子邮件
  • 3个电子邮件协议
  • 3个形式化
  • 3个形式化分析
  • 3个邮件
  • 3个邮件协议
  • 3个认证性
  • 3个逻辑系统
  • 3个机密
  • 3个机密性
  • 3个安全协议
  • 3个OTWAY-...
  • 3个SVO逻辑
  • 3个BAN逻辑
  • 3个CCITT
  • 3个KAILAR...
  • 3个串空间
  • 3个串空间模型
  • 2个倒立摆
  • 2个倒立摆系统

机构

  • 5个湖北师范学院
  • 2个湖北师范大学
  • 1个华中科技大学
  • 1个华中师范大学
  • 1个中南大学

资助

  • 5个湖北省自然科...
  • 3个湖北省教育厅...
  • 3个湖北省教育厅...
  • 2个国家自然科学...
  • 1个国家高技术研...
  • 1个国家教育部博...

传媒

  • 5个湖北师范学院...
  • 3个计算机安全
  • 3个微型机与应用
  • 3个信息通信
  • 2个国外电子元器...
  • 2个四川大学学报...
  • 2个计算机工程与...
  • 2个微计算机信息
  • 2个信息安全与通...
  • 2个第四届中国软...
  • 1个电子测试
  • 1个计算机与网络
  • 1个世界科技研究...
  • 1个农业工程学报
  • 1个微计算机应用
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个计算机应用研...
  • 1个小型微型计算...
  • 1个计算机工程与...

地区

  • 5个湖北省
共 5 条 记 录，以下是 1-5
石曙东
供职机构：湖北师范学院计算机科学与技术学院
研究主题：安全协议 串空间模型 形式化分析 BAN逻辑 数字签名
发表作品相关人物供职机构所获资助研究领域
解颜铭
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
发表作品相关人物供职机构所获资助研究领域
彭绪富
供职机构：湖北师范学院计算机科学与技术学院
研究主题：系统设计 应急系统 教学模式 远程教育 环境污染
发表作品相关人物供职机构所获资助研究领域
翁艳琴
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
发表作品相关人物供职机构所获资助研究领域
徐雄
供职机构：湖北师范大学
研究主题：MATLAB 模糊控制 实时控制 倒立摆 LEG
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0