您的位置： 专家智库 > >

江苏省自然科学基金(BK2005074)

作品数：11 被引量：80H指数：4
相关作者：曾庆凯丁洪达王勇张林王伟光更多>>
相关机构：南京大学更多>>
发文基金：江苏省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术机械工程化学工程更多>>

领域

  • 14个自动化与计算...
  • 5个文化科学
  • 4个化学工程
  • 3个机械工程
  • 3个建筑科学
  • 2个电子电信
  • 2个医药卫生
  • 2个语言文字
  • 1个经济管理
  • 1个生物学
  • 1个天文地球
  • 1个金属学及工艺
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个政治法律

主题

  • 7个安全评估
  • 6个形式化
  • 6个访问控制
  • 6个操作系
  • 6个操作系统
  • 5个信息安全
  • 5个逻辑
  • 4个代码
  • 4个形式化方法
  • 4个安全操作
  • 4个安全操作系统
  • 3个调度
  • 3个信息流
  • 3个形式化验证
  • 2个代码分析
  • 2个代码混淆
  • 2个蛋白
  • 2个调度服务
  • 2个定理
  • 2个定理证明

机构

  • 14个南京大学
  • 3个计算机软件新...
  • 2个南京邮电大学
  • 1个安徽工业大学
  • 1个山东交通学院
  • 1个山东大学
  • 1个黑龙江中医药...
  • 1个南京军区南京...
  • 1个南京邮电学院
  • 1个中国药科大学
  • 1个上海市信息安...
  • 1个北京市房山区...

资助

  • 14个国家高技术研...
  • 14个国家自然科学...
  • 14个江苏省自然科...
  • 7个国家教育部博...
  • 5个国家科技支撑...
  • 4个江苏省科技支...
  • 3个国家重点基础...
  • 2个中国博士后科...
  • 2个江苏省高校自...
  • 1个高等学校骨干...
  • 1个国家科技攻关...
  • 1个江苏省计算机...
  • 1个教育部留学回...
  • 1个山东省自然科...
  • 1个浙江省自然科...
  • 1个黑龙江省自然...
  • 1个国家杰出青年...
  • 1个国家大学生创...
  • 1个江苏省“六大...
  • 1个艾滋病和病毒...

传媒

  • 8个计算机工程
  • 7个软件学报
  • 6个计算机应用与...
  • 6个计算机应用
  • 5个计算机科学
  • 4个解放军理工大...
  • 4个第六届中国信...
  • 3个微电子学与计...
  • 3个计算机工程与...
  • 3个2008年全...
  • 3个2008年全...
  • 2个计算机研究与...
  • 2个电子学报
  • 2个南京大学学报...
  • 2个计算机学报
  • 2个北京工业大学...
  • 2个上海交通大学...
  • 2个小型微型计算...
  • 2个计算机教育
  • 2个南京邮电大学...

地区

  • 13个江苏省
共 14 条 记 录，以下是 1-10
曾庆凯
供职机构：南京大学
研究主题：漏洞 软件漏洞 内核 控制流 硬件虚拟化
发表作品相关人物供职机构所获资助研究领域
丁洪达
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：安全评估 形式化描述 形式化方法 访问控制 安全测试
发表作品相关人物供职机构所获资助研究领域
王勇
供职机构：南京大学文学院
研究主题：多囊卵巢综合征 PCOS 胰岛素抵抗 雄激素 基因多态性
发表作品相关人物供职机构所获资助研究领域
黄达明
供职机构：南京大学计算机科学与技术系
研究主题：计算思维 合约 课程体系 信息安全 定理证明
发表作品相关人物供职机构所获资助研究领域
王伟光
供职机构：南京大学计算机科学与技术系
研究主题：安全评估 形式化描述 安全测试 形式化方法 污点分析
发表作品相关人物供职机构所获资助研究领域
陆炜
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：控制流 异常检测 安全评估模型 信息系统
发表作品相关人物供职机构所获资助研究领域
包必显
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：访问控制 自主访问控制 通用访问控制框架 安全操作系统 基于数据流
发表作品相关人物供职机构所获资助研究领域
时静艳
供职机构：南京大学计算机科学与技术系
研究主题：服务请求 服务调度 控制方法 拒绝服务攻击 调度服务
发表作品相关人物供职机构所获资助研究领域
周国强
供职机构：南京邮电大学
研究主题：分类器 钓鱼 远程打印 文本 电子商务平台
发表作品相关人物供职机构所获资助研究领域
支雷磊
供职机构：南京大学
研究主题：数据流 别名 信息流 源代码 初始化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0