您的位置： 专家智库 > >

国家自然科学基金(61170070)

作品数：10 被引量：30H指数：3
相关作者：曾庆凯李沁孙浩王伟光邓良更多>>
相关机构：南京大学计算机软件新技术国家重点实验室安徽工业大学更多>>
发文基金：国家自然科学基金国家科技支撑计划江苏省科技支撑计划项目更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 12个自动化与计算...
  • 3个文化科学
  • 2个经济管理
  • 2个电子电信
  • 1个化学工程
  • 1个冶金工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个建筑科学
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个一般工业技术
  • 1个社会学
  • 1个自然科学总论
  • 1个理学

主题

  • 5个信息流
  • 4个形式化
  • 4个虚拟化
  • 4个硬件
  • 4个内核
  • 4个基于硬件
  • 3个多线程
  • 3个信息安全
  • 3个形式化方法
  • 3个切片
  • 3个安全评估
  • 2个调度
  • 2个多线程程序
  • 2个信号
  • 1个代价函数
  • 1个代码
  • 1个代码分析
  • 1个代码复用
  • 1个代码混淆
  • 1个代码生成

机构

  • 11个南京大学
  • 5个计算机软件新...
  • 2个安徽工业大学
  • 1个山东交通学院
  • 1个山东大学
  • 1个同济大学
  • 1个上海市信息安...

资助

  • 12个国家科技支撑...
  • 12个国家自然科学...
  • 7个国家高技术研...
  • 5个江苏省科技支...
  • 4个江苏省自然科...
  • 4个国家教育部博...
  • 1个高等学校优秀...
  • 1个国家科技攻关...
  • 1个国家重点基础...
  • 1个山东省自然科...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个江苏省“六大...
  • 1个安徽高校省级...
  • 1个安徽省高等学...
  • 1个安徽省高校省...
  • 1个安徽省高校省...
  • 1个安徽省教学研...
  • 1个安徽省教育厅...

传媒

  • 8个软件学报
  • 5个计算机工程与...
  • 4个计算机工程
  • 3个计算机应用与...
  • 3个计算机应用
  • 3个计算机科学
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个解放军理工大...
  • 2个第六届中国信...
  • 1个合肥工业大学...
  • 1个钢铁研究学报
  • 1个计算机研究与...
  • 1个安徽工业大学...
  • 1个通信学报
  • 1个电子学报
  • 1个北京工业大学...
  • 1个上海交通大学...
  • 1个微型电脑应用
  • 1个微机发展

地区

  • 9个江苏省
  • 1个安徽省
共 12 条 记 录，以下是 1-10
曾庆凯
供职机构：南京大学计算机科学与技术系
研究主题：漏洞 软件漏洞 内核 硬件虚拟化 控制流
发表作品相关人物供职机构所获资助研究领域
李沁
供职机构：安徽工业大学计算机科学与技术学院
研究主题：AD_HOC 安全协议验证 安全路由协议 信息流 宽容
发表作品相关人物供职机构所获资助研究领域
王伟光
供职机构：南京大学计算机科学与技术系
研究主题：安全评估 形式化描述 安全测试 形式化方法 污点分析
发表作品相关人物供职机构所获资助研究领域
杨嘉
供职机构：南京大学计算机科学与技术系
研究主题：信息流 权限控制 LINUX系统 SELINUX 信息流分析
发表作品相关人物供职机构所获资助研究领域
袁志祥
供职机构：安徽工业大学
研究主题：多标记 PETRI网 SET协议 转炉炼钢 UML
发表作品相关人物供职机构所获资助研究领域
邓良
供职机构：南京大学计算机科学与技术系
研究主题：虚拟化 应用程序 基于硬件 内核 模式切换
发表作品相关人物供职机构所获资助研究领域
赵晓东
供职机构：南京大学
研究主题：相干探测 频移 波长扫描 脉冲 虚拟化
发表作品相关人物供职机构所获资助研究领域
孙浩
供职机构：南京大学计算机科学与技术系
研究主题：污点分析 漏洞 整数 插装 信息流
发表作品相关人物供职机构所获资助研究领域
杨兆
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：反分析 恶意软件 切片 信息安全 动态二进制
发表作品相关人物供职机构所获资助研究领域
贺志宏
供职机构：南京大学
研究主题：LTL SPIN 线性时序逻辑 状态空间爆炸
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0