位置：立项数据库 > 立项详情页
基于安全需求分析的内核保护方法研究
  • 项目名称：基于安全需求分析的内核保护方法研究
  • 项目类别：面上项目
  • 批准号：61572248
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：曾庆凯
  • 依托单位：南京大学
  • 批准年度：2015
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 0
  • 0
  • 0
  • 0
期刊论文
含有析取语义循环的不变式生成改进方法
面向危险操作的动态符号执行方法
一种在不可信操作系统内核中高效保护应用程序的方法
引入内可信基的应用程序保护方法
基于硬件虚拟化的安全高效内核监控模型
ROP图灵完备的普遍可实现性
曾庆凯的项目
基于缺陷建模的软件脆弱性分析方法研究
期刊论文 33 会议论文 5 获奖 2
　国标五级安全操作系统设计与测评关键技术研究与实现
期刊论文 8
程序行为控制的语义约束方法研究
期刊论文 18
基于分散可信基的内核保护方法研究
期刊论文 1
基于定理证明的软件脆弱性分析方法研究
期刊论文 24 会议论文 12