您的位置： 专家智库 > >

江西省自然科学基金(2010GZS0150)

作品数：3 被引量：10H指数：2
相关作者：肖美华马成林邓春艳朱科刘金香更多>>
相关机构：华东交通大学南昌理工学院南昌大学更多>>
发文基金：江西省自然科学基金国家自然科学基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术经济管理更多>>

领域

  • 4个电子电信
  • 4个自动化与计算...
  • 3个经济管理
  • 1个生物学
  • 1个轻工技术与工...
  • 1个社会学
  • 1个政治法律
  • 1个文化科学
  • 1个理学

主题

  • 4个形式化
  • 4个形式化分析
  • 4个网络
  • 4个网络安全
  • 4个协议安全性分...
  • 4个安全性
  • 4个GNY逻辑
  • 4个KERBER...
  • 3个形成期
  • 3个影响因素
  • 3个身份
  • 3个物联网
  • 3个物联网产业
  • 3个联网
  • 3个计算机
  • 3个计算机网
  • 3个计算机网络
  • 2个信息化
  • 2个演进
  • 2个演进分析

机构

  • 4个华东交通大学
  • 2个南昌大学
  • 1个赣南师范大学
  • 1个江西师范大学
  • 1个中国科学院软...
  • 1个南昌理工学院

资助

  • 6个国家自然科学...
  • 6个江西省自然科...
  • 4个江西省研究生...
  • 4个国家重点实验...
  • 2个江西省软科学...
  • 2个江西省教育厅...
  • 1个国家重点基础...
  • 1个江西省科技攻...
  • 1个中国博士后科...
  • 1个国家重大基础...
  • 1个江西省对外科...
  • 1个江西省教育厅...
  • 1个江西省科技支...

传媒

  • 4个计算机与数字...
  • 3个商业研究
  • 3个统计与决策
  • 3个计算机科学
  • 2个科学管理研究
  • 2个工业技术经济
  • 1个计算机安全
  • 1个南昌大学学报...
  • 1个软科学
  • 1个计算机研究与...
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个南昌大学学报...
  • 1个江西教育学院...
  • 1个企业经济
  • 1个法制与社会
  • 1个计算机工程与...
  • 1个计算机与现代...

地区

  • 6个江西省
共 6 条 记 录，以下是 1-6
肖美华
供职机构：华东交通大学
研究主题：形式化方法 SPIN 安全协议 形式化分析 形式化
发表作品相关人物供职机构所获资助研究领域
马成林
供职机构：华东交通大学软件学院
研究主题：KERBEROS GNY逻辑 协议安全性分析 网络安全 ANDREW
发表作品相关人物供职机构所获资助研究领域
钟祥喜
供职机构：赣南师范大学商学院
研究主题：物联网 物联网产业 竞争力 程序公平 分配公平
发表作品相关人物供职机构所获资助研究领域
邓春艳
供职机构：华东交通大学软件学院
研究主题：KERBEROS GNY逻辑 协议安全性分析 网络安全 形式化分析
发表作品相关人物供职机构所获资助研究领域
朱科
供职机构：华东交通大学软件学院
研究主题：KERBEROS GNY逻辑 协议安全性分析 网络安全 ANDREW
发表作品相关人物供职机构所获资助研究领域
刘金香
供职机构：南昌理工学院
研究主题：竞争力 物联网产业 产业集群 CI 集群
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0