位置：立项数据库 > 立项详情页
小型操作系统内核的轻量级形式化设计和验证方法研究
  • 项目名称：小型操作系统内核的轻量级形式化设计和验证方法研究
  • 项目类别：青年科学基金项目
  • 批准号：61402057
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：钱振江
  • 依托单位：常熟理工学院
  • 批准年度：2014
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 8
  • 0
  • 0
  • 0
  • 0
期刊论文
面向RTF的OLE对象漏洞分析研究
RTF数组溢出漏洞挖掘技术研究
VSOS—HAM：基于Isabelle／HOL的OS内核硬件抽象模型和形式化验证方法研究
基于GOP分帧协作的多媒体多流并行传输机制
KCapISO：一种基于HybridHP的宏内核操作系统载入模块权能隔离方案
操作系统汇编级形式化设计和验证方法
基于有限穿越水平可视图的短时睡眠心率变异性研究
一种Minix进程调度的改进算法
钱振江的项目