数据验证方法

摘要

一种电子系统(1)包括受信任的处理器(2)、受信任的高速缓存存储器(3)和大容量储存存储器(4)。数据被存储在大容量储存存储器(4)中，其中，所述存储器被划分为块，每个块通过地址来识别并且所述数据经由验证树寻址。所述验证树是包括节点的树结构，其中后代节点附接于根节点并且每个节点存储包含其每个子节点的块的地址和每个块的摘要值。一种验证这种电子系统的数据的方法包括访问所搜索的数据，同时在计算的摘要与当前摘要值不同的情况下报告数据的损坏。

主权项

一种验证电子系统(1)的数据的方法，所述电子系统(1)包括受信任的处理器(2)、受信任的高速缓存存储器(3)和大容量储存存储器(4)，其中数据被存储在大容量储存存储器(4)中，所述受信任的高速缓存存储器和所述大容量储存存储器被划分为块，每个块通过地址来识别，所述数据经由验证树寻址，所述验证树是包括节点的树结构，其中后代节点附接于根节点并且每个节点存储包含其每个子节点的块的地址和每个块的摘要值，所述方法包括通过以下步骤访问(A0或A1)所搜索的数据(Dr)：a)通过以包含根节点的块的参考摘要值(Eref)来初始化当前摘要值(Ec)而以根节点初始化(S1)当前节点，b)在受信任的高速缓存存储器(3)中加载(S2)包含当前节点(Nc)的块(B)，c)计算(S3)所加载的块的摘要(E)，d)如果计算的摘要与当前摘要值不同，报告(S4，S5)数据损坏并且停止对所搜索的数据的访问，e)如果当前节点(Nc)包含所搜索的数据(Dr)，将当前节点发送回(S6,S7)，并且停止访问搜索的数据的步骤，f)如果当前节点(Nc)不包含所搜索的数据(Dr)，确定(S8)从中导出包含所述数据的子树的子节点(Nf)，g)在当前摘要(Ec)处分配(S9)在当前节点(Nc)中存储的子节点(Nf)的摘要值(Ef)，所述子节点(Nf)变成当前节点(Nc)，h)循环到加载步骤b)(S2)。