位置：立项数据库 > 立项详情页
　访问验证保护级安全操作系统设计及其测评关键技术和实现方法研究
  • 项目名称：　访问验证保护级安全操作系统设计及其测评关键技术和实现方法研究
  • 批准号：2006AA01Z433
  • 项目来源：“十一五”国家高技术研究发展计划（863计划）信息技术领域2006年度专题课题
  • 研究期限：2006-11-
  • 项目负责人：刘文清
  • 依托单位：中国人民解放军信息工程大学
  • 批准年度：2006
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 9
  • 0
  • 0
  • 0
  • 0
期刊论文
基于安全状态域的网络评估模型
一种用于网络取证分析的模糊决策树推理方法
基于向量矩阵的安全访问控制机制及实现
基于路由器编码的自适应包标记
基于信息流分析的隐蔽通道分类与标志
可信计算平台中Linux加密文件系统的设计与实现
密钥交换过程的SDL模型分析
一种基于指针逻辑的代码安全属性分析方法
身份证实证书在可信计算中的应用
刘文清的项目