石谦

作品数:2被引量:12H指数:1
导出分析报告
供职机构:武汉大学计算机学院软件工程国家重点实验室更多>>
发文主题:开销代码保护更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机科学与探索》《计算机科学》更多>>
所获基金:国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
基于压缩的代码保护的低开销策略
《计算机科学》2011年第11期119-122,共4页陈勇 何炎祥 石谦 吴伟 李清安 
国家自然科学基金可信软件重大研究计划(90818018)资助
利用压缩算法及C语言编译器辅助分析,提出了一种用于代码保护的低开销策略。设计了一种基于C语言安全漏洞的安全级别模型,它对不同安全级别的代码采用不同的保护策略,以减少保护开销。同时设计了一种分块二进制压缩算法(BCC压缩算法),...
关键词:代码安全保护 安全模型 压缩算法 低存储容量 
可信编译理论及其核心实现技术:研究综述被引量:12
《计算机科学与探索》2011年第1期1-22,共22页何炎祥 吴伟 刘陶 李清安 陈勇 胡明昊 刘健博 石谦 
国家自然科学基金重大研究计划No. 90818018~~
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保...
关键词:可信编译器 编译正确性 编译器验证 可信软件 
检索报告 对象比较 聚类工具 使用帮助 返回顶部