您的位置： 专家智库 > >

湖北省教育厅重点项目(D20092203)

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

领域

  • 3个自动化与计算...
  • 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个串空间模型
  • 1个单片
  • 1个单片机

机构

  • 3个湖北师范学院
  • 1个华中科技大学
  • 1个湖北师范大学

资助

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

传媒

  • 3个计算机安全
  • 3个微型机与应用
  • 3个湖北师范学院...
  • 3个信息通信
  • 1个国外电子元器...
  • 1个农业工程学报
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个小型微型计算...
  • 1个计算机工程与...
  • 1个四川大学学报...
  • 1个计算机工程与...
  • 1个微计算机信息
  • 1个湖北广播电视...
  • 1个信息安全与通...
  • 1个2004年全...
  • 1个第四届中国软...
  • 1个全国网络与信...
  • 1个全国网络与信...

地区

  • 3个湖北省
共 3 条 记 录，以下是 1-3
解颜铭
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
发表作品相关人物供职机构所获资助研究领域
翁艳琴
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
发表作品相关人物供职机构所获资助研究领域
石曙东
供职机构：湖北师范学院计算机科学与技术学院
研究主题：安全协议 串空间模型 形式化分析 BAN逻辑 数字签名
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0