1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

一种操作系统内核形式化验证方法.pdfVIP

  • 2
  • 0
  • 约9.25千字
  • 约 9页
  • 2023-06-19 发布于四川
  • 举报

一种操作系统内核形式化验证方法.pdf

    本发明涉及计算机操作系统及计算机证明方法的技术领域，具体涉及一种操作系统内核形式化验证方法。本发明的方法包括：选择针对操作系统内核系统调用作为验证对象；根据设计文档中对系统调用的描述，总结设计人员对系统调用的功能的期望，依据操作系统内核中的不变量或高级属性定义声明规范；参考系统调用具体实现以及设计文档说明，定义系统调用的详细状态机规范；将声明规范与状态机规范传入形式化验证工具进行自动求解。其流程如图1所示。该方法能够实现对操作系统内核进行形式化验证，从而证明操作系统内核安全性。

    (19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 113282492 A (43)申请公布日 2021.08.20 (21)申请号 202110564820.3 (22)申请日 2021.05.24 (71)申请人 湖南大学 地址 41

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >