您的位置： 专家智库 > >

郭丽

作品数：2 被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇高可信
  • 2篇高可信软件
  • 1篇形式化
  • 1篇形式化方法
  • 1篇COQ

机构

  • 2篇中国科学技术...

作者

  • 2篇郭丽
  • 1篇李兆鹏
  • 1篇李隆
  • 1篇陈意云

传媒

  • 1篇计算机工程与...

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Coq构造携带证明的安全程序被引量：3
2006年
对可靠程序的需求随着高可信软件在信息社会中的作用日益重要而增加。基于形式化证明工具构造携带证明的安全程序,给出严格的程序规范及其证明是提高软件可靠性的重要途径。论文介绍使用形式化证明工具Coq构造安全程序的过程和经验。
郭丽陈意云李隆李兆鹏
关键词：高可信软件
基于构造形式证明的程序验证
随着Internet的广泛应用和移动计算领域的不断扩大，人们对高可信软件的需求越来越多，从而对软件的可靠性和安全性提出了更高的挑战，因此软件安全问题再次显得至关重要。用形式化方法在软件开发过程中进行严格推理是提高软件安全...
郭丽
关键词：高可信软件形式化方法
文献传递
全选 清除 导出
共1页<1>
聚类工具0