位置：立项数据库 > 立项详情页
　国标五级安全操作系统设计与测评关键技术研究与实现
  • 项目名称：　国标五级安全操作系统设计与测评关键技术研究与实现
  • 批准号：2006AA01Z432
  • 项目来源：“十一五”国家高技术研究发展计划（863计划）信息技术领域2006年度专题课题
  • 研究期限：2006-11-
  • 项目负责人：曾庆凯
  • 依托单位：南京大学
  • 批准年度：2006
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 8
  • 0
  • 0
  • 0
  • 0
期刊论文
基于语义抽象的内存访问错误检测
软件脆弱性分类属性研究
网络协同取证计算研究
改进的程序时序安全属性模型检测技术
动态安全策略的权限撤销研究
利用类型推理验证AdHoc安全路由协议
基于摘要的内存泄露分析方法改进
曾庆凯的项目
基于缺陷建模的软件脆弱性分析方法研究
期刊论文 33 会议论文 5 获奖 2
程序行为控制的语义约束方法研究
期刊论文 18
基于安全需求分析的内核保护方法研究
期刊论文 6
基于分散可信基的内核保护方法研究
期刊论文 1
基于定理证明的软件脆弱性分析方法研究
期刊论文 24 会议论文 12