您的位置： 专家智库 > >

金鑫

作品数：1 被引量：0H指数：0
供职机构：总参谋部更多>>
相关领域：电子电信更多>>

合作作者

领域

  • 5个电子电信
  • 5个自动化与计算...
  • 2个经济管理
  • 2个天文地球
  • 2个军事
  • 2个文化科学
  • 1个自然科学总论

主题

  • 5个形式化
  • 5个形式化分析
  • 5个形式化验证
  • 5个虚假
  • 5个远程
  • 5个远程证明
  • 5个网络
  • 5个路由
  • 4个兴趣域
  • 4个映射
  • 4个双线性
  • 4个双线性映射
  • 4个组件
  • 4个线性映射
  • 3个对等网
  • 3个对等网络
  • 3个信任
  • 3个信任度
  • 3个信任模型
  • 2个电梯控制

机构

  • 5个解放军理工大...
  • 1个南京大学
  • 1个江苏省广播电...

资助

  • 5个国家自然科学...
  • 4个江苏省自然科...
  • 4个国家重点实验...
  • 3个国家高技术研...
  • 1个国防基金
  • 1个国家重点基础...
  • 1个国家部委资助...

传媒

  • 5个计算机科学
  • 4个西安电子科技...
  • 3个东南大学学报...
  • 3个计算机工程
  • 3个北京邮电大学...
  • 2个计算机工程与...
  • 2个计算机应用
  • 2个电子科技大学...
  • 2个计算机工程与...
  • 2个解放军理工大...
  • 2个军事通信技术
  • 2个哈尔滨工程大...
  • 2个2007'信...
  • 2个2008年全...
  • 2个第七届全国计...
  • 1个计算机安全
  • 1个系统工程与电...
  • 1个电子科技
  • 1个情报科学
  • 1个电视技术

地区

  • 5个江苏省
共 5 条 记 录，以下是 1-5
王金双
供职机构：解放军理工大学
研究主题：形式化验证 应用程序 ANDROID L系统 ANDROID平台
发表作品相关人物供职机构所获资助研究领域
锁琰
供职机构：解放军理工大学指挥自动化学院
研究主题：密钥隔离 双线性映射 群签名 可信计算 分布式
发表作品相关人物供职机构所获资助研究领域
桂荆京
供职机构：解放军理工大学指挥自动化学院
研究主题：串空间 形式化验证 可信计算 密钥隔离 组件
发表作品相关人物供职机构所获资助研究领域
张毓森
供职机构：解放军理工大学指挥自动化学院
研究主题：LINUX 访问控制 兴趣域 形式化验证 策略管理
发表作品相关人物供职机构所获资助研究领域
杨莉
供职机构：江苏省广播电视监测台
研究主题：兴趣域 对等网络 安全隐患 防火墙 计算机网络
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0