[发明专利]数据验证方法

权利要求书

1.一种验证电子系统(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)确定(S8)从中导出包含所述数据的子树的子节点(Nf)，

g)在当前摘要(Ec)处分配(S9)在当前节点(Nc)中存储的子节点(Nf)的摘要值(Ef)，所述子节点(Nf)变成当前节点(Nc)，

h)循环到加载步骤b)(S2)。

2.根据权利要求1所述的验证电子系统的数据的方法，其中在当前节点初始化步骤a)(S1)之后，该方法包括在于验证位于受信任的存储器中的块是否包含当前节点的附加步骤(S11)，当所述块不包含当前节点时，实施加载步骤b)(S2)、摘要计算步骤c)(S3)、摘要验证(S4)和数据损坏报告步骤(S4，S5)d)。

3.根据权利要求1或2所述的验证电子系统的数据的方法，其中初始化步骤在于，通过以从存在于受信任的高速缓存存储器中并且包含具有所搜索的数据的节点的祖先节点N的块计算的摘要值来初始化当前摘要值，而将当前节点初始化为节点N。

4.根据权利要求1或2所述的验证电子系统的数据的方法，其中初始化步骤在于，在受信任的高速缓存存储器中存在块的值时，通过以在受信任的高速缓存存储器中发现的摘要值来初始化当前摘要值，而将当前节点初始化为节点N。

5.根据前述权利要求中的任一项所述的验证电子系统的数据的方法，其中当在受信任的高速缓存存储器中存储了当前节点的块或者块摘要时，还将当前节点处的父节点的块或者块摘要存储在受信任的高速缓存存储器中。

6.根据前述权利要求中的任一项所述的验证电子系统的数据的方法，其中该方法还包括按照以下步骤进行的对块的修改(M0)：

a)访问(S21)位于大容量储存存储器(4)中的块(B)，并且将其转移到受信任的存储器(3)，

b)修改(S22)块(Bmod)的内容，

c)计算(S23)修改的块的内容的摘要值(E[Bmod])，

d)在大容量储存存储器(4)中写入(S24)修改后的块(Bmod)的内容，

e)如果所述块包含根节点(S25)，在受信任的存储器(3)中存储(S26)计算的摘要值(E[Bmod])作为块的新的参考摘要值(Eref[Br])，

f)如果所述块不包含根节点(S25)，在包含所述块的父节点的父块中，利用计算的摘要值(E[Bmod])替换(S27)父块的摘要值(E[B])。