您的位置： 专家智库 > >

孟策

作品数：3 被引量：3H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：中国科学院知识创新工程重要方向项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 2篇代码
  • 1篇源代码
  • 1篇散列
  • 1篇卸载
  • 1篇改写
  • 1篇C代码
  • 1篇MERKLE
  • 1篇别名分析

机构

  • 3篇中国科学院软...
  • 2篇中国科学院研...

作者

  • 3篇孟策
  • 2篇贺也平
  • 1篇张谦
  • 1篇罗宇翔

传媒

  • 1篇通信学报
  • 1篇软件学报

年份

  • 2篇2009
  • 1篇2008
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
解决度量-验证时间差的一种差值证明方法被引量：2
2009年
度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟域中的虚拟环境证明提出一种方法在原有的加载时度量的基础上补充了卸载时度量,使得更改后的度量机制可以察觉并表达系统中对象的存活状态,即使用加载度量和卸载度量的差值来表达系统的当前状态,进而解决度量-验证时间差问题。
张谦贺也平孟策
C代码API一致性检验中的等值分析被引量：1
2008年
在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质,与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察C代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持.
孟策贺也平罗宇翔
软件属性保障中的源代码静态分析技术研究
随着硬件性能的不断提升，计算机正在被赋予越来越艰巨的任务，运行其上的软件作为沟通人类思维和底层硬件的桥梁，其重要性日益增加。与此同时，软件系统的规模也在不断变大，所涉及的逻辑也更为复杂，这导致开发人员难免会由于疏漏在软件...
孟策
关键词：别名分析
全选 清除 导出
共1页<1>
聚类工具0