王伟

作品数：2被引量：1H指数：1
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：出具证明编译器高可信软件汇编代码HOARE逻辑汇编语言更多>>
发文领域：自然科学总论自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机工程》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个出具证明编译器后端的设计与实现被引量：1
《计算机工程》2009年第7期132-135,共4页田波 陈意云 王伟 李兆鹏 王志芳 
国家自然科学基金资助项目(60673126;90718026);Intel中国研究中心基金资助项目
设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明,能够完全自动地产生目标级程序的指针安全性证明,处理常见递归数据结构中的非一致性...
关键词：高可信软件 出具证明编译器 指针安全 汇编代码 
一种汇编语言指针逻辑的设计与实现
《小型微型计算机系统》2009年第6期1025-1030,共6页李兆鹏 陈意云 华保健 王伟 田波 
国家自然科学基金项目(60673126)资助;Intel中国研究中心资助
软件的安全性日益重要,软件满足安全策略的证明方法成为一个研究热点.而指针程序的安全性质证明是难点之一.根据已经提出的安全程序设计与证明的框架以及PointerC指针逻辑,提出一种汇编语言指针逻辑.该逻辑解决了Hoare逻辑处理别名问题...
关键词：软件安全 指针逻辑 HOARE逻辑 携带证明的汇编程序 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部