您的位置： 专家智库 > >

国家教育部博士点基金(20070006055)

作品数：17 被引量：73H指数：4
相关作者：李舟军邢建英陈石坤李梦君贾仰理更多>>
相关机构：北京航空航天大学国防科学技术大学聊城大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 22个自动化与计算...
  • 7个电子电信
  • 4个理学
  • 3个经济管理
  • 3个航空宇航科学...
  • 3个医药卫生
  • 3个文化科学
  • 2个天文地球
  • 2个电气工程
  • 2个建筑科学
  • 2个交通运输工程
  • 1个哲学宗教
  • 1个生物学
  • 1个化学工程
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个机械工程
  • 1个轻工技术与工...
  • 1个环境科学与工...
  • 1个农业科学

主题

  • 13个网络
  • 10个漏洞
  • 8个信息安全
  • 8个形式化
  • 7个网络安全
  • 7个漏洞检测
  • 6个代码
  • 6个通信
  • 6个图像
  • 6个安全性
  • 5个形式化描述
  • 5个中文
  • 4个形式化验证
  • 4个隐蔽性
  • 4个认证性
  • 4个社会网
  • 4个社会网络
  • 4个数据包
  • 4个数据包拦截
  • 4个数据库

机构

  • 13个北京航空航天...
  • 8个国防科学技术...
  • 3个武汉理工大学
  • 3个中国信息安全...
  • 2个聊城大学
  • 1个长沙工学院
  • 1个湖南农业大学
  • 1个湖南师范大学
  • 1个清华大学
  • 1个山东大学
  • 1个四川大学
  • 1个中国人民解放...
  • 1个中南林业科技...
  • 1个北京神州绿盟...
  • 1个国防科技大学
  • 1个中国农业银行...
  • 1个中国信息安全...
  • 1个北京航天飞行...

资助

  • 22个国家自然科学...
  • 22个国家教育部博...
  • 13个国家高技术研...
  • 7个国家科技重大...
  • 5个国家重点基础...
  • 5个国家重点实验...
  • 4个中央高校基本...
  • 3个山东省软科学...
  • 3个山东省自然科...
  • 2个高等学校国家...
  • 2个国家科技支撑...
  • 2个湖南省自然科...
  • 2个东莞市高等院...
  • 2个湖南省教育厅...
  • 1个北京市科技新...
  • 1个北京市自然科...
  • 1个国防科技技术...
  • 1个国家留学基金
  • 1个四川省应用基...
  • 1个中国博士后科...

传媒

  • 16个计算机科学
  • 10个计算机研究与...
  • 9个计算机工程与...
  • 8个清华大学学报...
  • 7个第二届信息安...
  • 5个第24次全国...
  • 4个计算机安全
  • 4个计算机学报
  • 4个计算机工程
  • 4个软件学报
  • 4个计算机工程与...
  • 4个北京航空航天...
  • 3个通信学报
  • 3个计算机时代
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个系统仿真学报
  • 3个四川大学学报...
  • 3个中文信息学报

地区

  • 15个北京市
  • 4个湖南省
  • 2个山东省
  • 1个安徽省
共 22 条 记 录，以下是 1-10
李舟军
供职机构：北京航空航天大学
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
发表作品相关人物供职机构所获资助研究领域
邢建英
供职机构：国防科学技术大学
研究主题：结点 飞腾 刀片服务器 感知 服务器
发表作品相关人物供职机构所获资助研究领域
陈石坤
供职机构：国防科学技术大学计算机学院
研究主题：布尔可满足性 C程序 基于SAT 缓冲区溢出 漏洞检测技术
发表作品相关人物供职机构所获资助研究领域
李梦君
供职机构：国防科学技术大学计算机学院
研究主题：安全协议 形式化验证 安全协议验证 进程代数 虚拟现实
发表作品相关人物供职机构所获资助研究领域
贾仰理
供职机构：聊城大学计算机学院
研究主题：形式化描述 说话人识别 基于支持向量机 支持向量机 说话人
发表作品相关人物供职机构所获资助研究领域
忽朝俭
供职机构：北京航空航天大学
研究主题：二进制代码 反汇编 中间语言 二进制 控制流
发表作品相关人物供职机构所获资助研究领域
张振领
供职机构：聊城大学计算机学院
研究主题：说话人识别 基于支持向量机 小波分析 支持向量机 形式化描述
发表作品相关人物供职机构所获资助研究领域
周倜
供职机构：北京航天飞行控制中心
研究主题：安全协议 形式化验证 遥测 认证性 HORN逻辑
发表作品相关人物供职机构所获资助研究领域
林松
供职机构：中国农业银行股份有限公司
研究主题：电子支付 群签名方案 群签名 PETRI网 离散对数
发表作品相关人物供职机构所获资助研究领域
张甲
供职机构：北京航空航天大学计算机学院
研究主题：反汇编 可执行代码 漏洞检测 漏洞检测技术
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0