申请/专利权人：浪潮云洲工业互联网有限公司

申请日：2024-01-09

公开（公告）日：2024-04-09

公开（公告）号：CN117850982A

主分类号：G06F9/455

分类号：G06F9/455;G06F9/54;G06F21/64

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.26#实质审查的生效;2024.04.09#公开

摘要：本申请公开了一种seL4虚拟机安全度量方法、设备及介质，方法包括：在真实物理机器中创建虚拟机安全度量模块、度量端点；创建虚拟机相关内核对象；通过所述度量端点，将所述虚拟机相关内核对象的能力传递并存储于所述虚拟机安全度量模块的能力空间中；通过所述虚拟机安全度量模块，对所述相关内核对象的关键数据进行哈希运算，以生成哈希表；基于所述哈希表以及所述虚拟机安全度量模块、所述管理程序模块，对所述目标虚拟机进行度量。用户使用seL4虚拟机时，虚拟机文件的访问也需要引用虚拟机对象能力，而且虚拟机文件也在虚拟机安全度量模块的度量范畴，这保障了虚拟机静态文件不会被篡改破坏。

主权项：1.一种seL4虚拟机安全度量方法，其特征在于，包括：在真实物理机器中创建虚拟机安全度量模块、度量端点；所述度量端点用于在所述虚拟机安全度量模块与seL4内核与管理程序模块之间传递消息与能力；创建虚拟机相关内核对象；所述虚拟机相关内核对象包括虚拟机线程以及虚拟机监视线程集合，所述虚拟机监视线程集合用于在所述虚拟机线程以及所述管理程序模块与所述虚拟机安全度量模块之间传递消息；通过所述度量端点，将所述虚拟机相关内核对象的能力传递并存储于所述虚拟机安全度量模块的能力空间中；通过所述虚拟机安全度量模块，对所述相关内核对象的关键数据进行哈希运算，以生成哈希表；基于所述哈希表以及所述虚拟机安全度量模块、所述管理程序模块，对所述目标虚拟机进行度量。

全文数据：

权利要求：

百度查询： 浪潮云洲工业互联网有限公司 一种seL4虚拟机安全度量方法、设备及介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD