程序执行的隐藏

摘要

提供了一种用于隐藏程序的变量集合的变化的系统。值表示构件（902）借助于表达ri表示变量v1,v2,...,vn中的变量vi的值wi，其中w是集合W的元素，其中并且ri是表达的集合的元素，其中σi是状态变量，该状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射。动作表示构件（903）借助于在V'上的动作和在V\V'上的动作表示V的子集V'中的变量的值上的动作，以获得更新的表达。在V'上的动作改变变量的集合中的每一个变量vj的表达rj。

权利要求

1.一种用于隐藏程序的变量集合 的变化的系统，该系统包括：值表示构件（902），用于借助于表达ri表示变量v1,v2,...,vn中的变量vi的值wi，其中w是集合W的元素，其中 并且ri是表达 的集合的元素，其中σi是状态变量，该状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及动作表示构件（903），用于借助于在V'上的动作和在V\V'上的动作表示V的子集V'中的变量的值上的动作，以获得更新的表达 ，其中 ，其中 是从W×Σ到预定集合的一一密码映射，并且其中

在V'上的动作被配置成根据变量vj的变化值w'j改变变量的集合V'中的每一个变量vj的表达rj，并且在V\V'上的动作被配置成根据状态变量σk的变化值σ'k改变V\V'中每一个变量vk的表达rk。

2.权利要求1的系统，其中所述在子集V'中的变量的值上的动作包括if语句，其定义了在条件成立的情况下在变量集合V1上的动作，以及在条件不成立的情况下在变量集合V2上的动作，其中变量集合V1是变量集合V的子集并且变量集合V2也是变量集合V的子集，并且动作表示构件（903）被配置成在条件成立的情况下使用变量集合V1作为变量集合V'，并且在条件不成立的情况下使用变量集合V2作为变量集合V'。

3.权利要求2的系统，其中变量集合V1和变量集合V2具有变量的交集V3，其被所述变量集合V1上的动作和变量集合V2上的动作二者影响，使得 ，其中所述动作在条件成立的情况下根据函数fm并且在条件不成立的情况下根据函数gm改变集合V3的每一个变量vm，其中动作表示构件被配置成确定集合V3的每一个变量vm的表达 ，使得基于所述条件是否成立，而有：且 ,或

且 ,

其中hm是从W×Σ到W的映射。

4.权利要求1的系统，其中动作表示构件（903）被配置成使用将关于条件的输入和表达的元组映射到对应的表达 的至少一个查找表促成与关于条件的输入和表达 对应的表达 的查找。

5.权利要求1的系统，其中 ，并且其中动作表示构件（903）被配置成识别确定条件b的一个或多个输入变量，并且其中动作表示构件（103）包括：第一交换单元（305），其用于基于集合V中的变量vi的至少一个表达r和所述一个或多个输入变量执行隐藏的交换运算，使得对于 和q 且 ，其中r=ri，其中 是从W×Σ到预定集合的一一密码映射，其中 不同于 ，其中 是一个表达；

和/或第二交换单元（306），其用于基于表达 和所述一个或多个变量执行隐藏的交换运算，使得对于 和q 且 ,其中 是从W×Σ到预定集合的一一密码映射，其中 不同于 ，并且 是更新的表达 。

6.权利要求5的系统，其中动作表示构件（103）包括函数评估单元（307），其用于计算函数，以基于表达 获得表达 ，使得对于 和q 且 ,其中f是在W上定义的映射并且g是在W上定义的映射。

7.权利要求5或6的系统，其中 且 。

8.权利要求3的系统，其中对于w和σ的所有值和 中m的至少一个值，。

9.权利要求1的系统，其中 上的动作被配置成改变变量集合 中的每一个变量vj的表达rj，使得 且 ，并且其中在 上的动作被配置成改变 中每一个变量vk的表达rk，使得 且；

其中对于 ，fi是在W上定义的函数，并且对于 中的每一个变量vk，hk是将W×Σ的元素映射到W的函数。

10.权利要求2或3的系统，进一步包括转换单元（601），其用于通过涉及第二多个条件的非嵌套条件运算的功能等价序列表示涉及第一多个嵌套条件的嵌套条件运算。

11.权利要求10的系统，其中转换单元（601）被配置成：将嵌套条件运算的相应条件分支的相应表达式组合（701）成辅助表达式的措辞，其中相应表达式与要被分配给特定变量的可替换值相关联；

重复（702）将相应条件分支的相应表达式组合成辅助表达式的措辞的步骤，使得多个辅助表达式被生成，其中措辞以不同方式组合，生成评估辅助表达式的代码（703）并存储它们的结果；并且取决于组合的条件，生成组合辅助表达式的结果的代码（704），其中组合的条件是多个条件的组合，使得与关于所述条件无关的分支对应的措辞取消。

12.权利要求10的系统，其中动作表示构件（903）被配置成识别非嵌套条件运算的序列的至少一个条件运算和第二多个条件中的对应条件，并且其中动作表示构件（903）被配置成使用所识别的条件运算作为所述动作并且使用所识别的对应条件作为if语句的条件。

13.一种隐藏程序的变量集合 的变化的方法，该方法包括：由表达ri表示（1001）变量v1,v2,...,vn中的变量vi的值wi，其中w是集合W的元素，其中并且ri是表达 的集合的元素，其中σi是状态变量，该状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及由在V'上的动作和在V\V'上的动作表示（1002）V的子集V'中的值上的动作，以获得更新的表达 ，其中 ，其中 是从W×Σ到预定集合的一一密码映射，并且其中

在V'上的动作被配置成根据变量vj的变化值w'j改变变量的集合V'中的每一个变量vj的表达rj，并且在V\V'上的动作被配置成根据σk的变化值σ'k改变V\V'中每一个变量vk的表达rk。

14.一种计算机程序产品，包括用于促使处理器执行权利要求10或13的方法的指令。

说明书

程序执行的隐藏

技术领域

[0001] 本发明涉及隐藏程序执行的细节。更特别地，本发明涉及隐藏条件运算。更特别地，本发明涉及在包含条件计算的程序中隐藏程序流和数据流。

背景技术

[0002] 可以利用表驱动方法实现加密值的计算，不使用暴露它们的功能的运算符。程序代码、即其运算可以通过使用查找表来隐藏。将这些表应用于加密数据给出了加密结果、隐藏的运算的结果。然而，辨识像比较（<,=,...）那样的运算符是相当容易的，因为那些指令被限于数字，典型地导致控制流的改变，并且它们的结果是加密的布尔类型的。如果此加密的布尔型保卫条件运算，例如在if-then或if-then-else构造的情况下，攻击者可以从控制流辨识运算的各方面。进一步地，攻击者可以创建对被比较的加密值的排序。最后，这可以导致破解加密。

[0003] 在软件程序中，执行比较通常是必要的。例如，为了检查是否已经被达到某阈值或者是否某输入等于预定值。在混淆程序中，这样的比较可以帮助攻击者破解编码。

[0004] US 7,809,135 B2公开了与增加具有密码功能的软件所使用的密钥的密码安全性有关的方法和系统。这是通过增加软件的数学复杂度来进行的。首先确定软件所使用的组件和函数，并且使用这些组件、函数和它们之间交换的数据，使得软件对分析的抵抗性更强。在增加分析抵抗力中使用的方法被分组为3种一般类型：调节组件之间交换的信息，将某些组件用不同但相关的组件代替，以及调节组件之间的数据流。

发明内容

[0005] 将会有利的是，在程序的执行期间，具有改进的方法和系统以防止信息从程序中泄漏。

[0006] 为了解决这个问题，在第一方面，提供一种用于隐藏程序的变量集合V={v1,v2,...,vn}的变化的系统。该系统包括：值表示构件，用于借助于表达ri表示变量v1,v2,...,vn中的变量vi的值wi，其中wi是集合W的元素，其中 并且ri是表达 的集合的元素，其中σi
是状态变量，该状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及
动作表示构件，用于通过在V'上的动作和在V\V'上的动作表示V的子集V'的值上的动作，其中
在V'上的动作根据变量vj的变化值w'j改变变量集合V'中的每一个变量vj的表达rj，使得 ，其中 是从W×Σ到预定集合的一一密码映射，并且
其中在V\V'上的动作根据σk的变化值σ'k改变V\V'中每一个变量vk的表达rk，使得。

[0007] 使用此系统，对攻击者而言，难以发现程序中哪一个变量实际变化，因为通过改变状态变量σ，未改变的变量的表达也被变更。

[0008] 例如，所述动作包括if语句，其定义了在条件成立的情况下在变量集合V1上的动作，以及在条件不成立的情况下在变量集合V2上的动作，其中变量集合V是V1和V2的并集，从而 ，并且动作表示构件被配置成根据条件是否成立使用变量集合V1或变量集合V2作为变量集合V'。这有助于避免泄漏关于条件代码段或条件代码段的哪一个分支被选择的信息。如上所述，当表示通过在V'上的动作和在V\V'上的动作表示在子集V'上的动作时，动作表示构件可以使用所选集合V'。

[0009] 变量集合V1和变量集合V2可以具有被所述两个动作影响的变量的交集V3，从而，其中该动作在条件成立的情况下根据函数f并且在条件不成立的情况下根据函数g改变集合V3的每一个变量vm，其中动作表示构件被配置成确定集合V3的每一个变量vm的表达 ，使得基于根据输入所述条件是否成立，而有：
且 ，或
且 ，
其中hm是从W×Σ到W的映射。

[0010] 使用此特征，攻击者难以发现是fm实际应用到变量wm还是gm应用到变量wm。

[0011] 动作表示构件可以被配置成使用将关于条件的输入和表达 的元组映射到对应的表达 的至少一个查找表促成与关于条件的输入和表达 对应的表达 的查找。该输入可以例如包括（可选地加密的）布尔变量。可替换地，该输入可以包括定义条件的述语中出现的变量。此述语和实际动作可以隐藏在所述至少一个查找表中。

[0012] 在一个特定示例中， ，并且动作表示构件（103）被配置成识别确定条件b的一个或多个输入变量，并且其中动作表示构件（103）包括：交换单元（305），用于基于集合V中的变量vi的至少一个表达r（其中r=ri）和所述一个或多个输入变量执行隐藏的交换运算，使得对于 和q 且 ，其中 是从W×Σ到预定集合的一一密码映射，其中 不同于 ，其中 是一个表达；
和/或交换单元（306），用于基于表达 和所述一个或多个变量执行隐藏的交换运算，使得对于 和q 且 ,
其中 是从W×Σ到预定集合的一一密码映射，其中 不同于 ，并且 是更新的表
达 。

[0013] 当计算表达 时，这些交换运算可以被分别用作预处理和/或后处理步骤，使得实际函数f和/或g的隐藏实现方式可以被简化。如果只有一个交换单元被使用，则在动作之前和之后w和σ的作用可以互换。这可以通过在系统的剩余物中考虑这一点来处理，例如通过假设编码 已经变化的合适程序代码来处理。

[0014] 动作表示构件可以进一步包括函数评估单元，其用于计算函数以基于表达 获得表达 ，使得对于 和q 且 ,其中f是在W上定义的映射并且g是在W上定义的映射。

[0015] 这样，取决于之前执行的交换运算，函数f和g可以应用到表达 的w和σ方位（aspect），使得f和g的隐藏实现方式可以相同，不管条件是否成立。可以在其后执行的交换运算取决于条件而将w和σ方位交换回来，以便撤销第一次交换运算所执行的交换运算。

[0016] 在一个特定示例中， 。这意味着，这两个交换运算使用相同的密码编码。因而，对于两个交换运算，相同的代码和/或表可以重用。

[0017] 在一个示例中，对于w和σ的所有值和 中的至少一个m， 。这可以提供简化的且/或更对称的实现方式。

[0018] 在一个示例中，在 上的动作被配置成改变变量集合 中的每一个变量vj的表达rj，使得 且 ，并且其中在 上的动作被配置成改变 中每一个变量vk的表达rk，使得 且
；
其中对于 ，fi是在W上定义的函数，并且对于 中的每一个变量vk，hk是
将W×Σ的元素映射到W的函数。

[0019] 这是对表达做出了什么改变的示例。

[0020] 权利要求2或3的系统进一步包括嵌套条件表示构件，用于将涉及第一多个嵌套条件的嵌套条件运算表示成涉及第二多个条件的非嵌套条件运算的功能等价序列。

[0021] 该系统可以进一步包括用于将涉及第一多个嵌套条件的嵌套条件运算转换成涉及第二多个条件的非嵌套条件运算的功能等价序列的转换单元。这有助于改进信息泄漏的防止，因为每一个非嵌套条件运算例如借助于第一和第二生成单元生成的代码被评估，使得条件运算中出现的所有表达式被评估并且可以影响表达 。较少的分支被跳过。

[0022] 例如，转换单元可以被配置成：将嵌套条件运算的相应条件分支的相应表达式组合成辅助表达式的措辞，其中相应表达式与要被分配给特定变量的可替换的值相关联；重复将相应条件分支的相应表达式组合成辅助表达式的措辞的步骤，使得多个辅助表达式被生成，其中所述措辞以不同方式组合；生成评估辅助表达式的代码并存储它们的结果；并且取决于组合的条件生成组合辅助表达式的结果的代码，其中组合的条件是多个条件的组合，使得与关于该条件无关的分支对应的措辞取消。这样的系统可以用来通过将嵌套的if语句扁平化成未被嵌套的if语句的序列来隐藏嵌套的if语句。通过将不同条件分支中出现的表达式组合成辅助表达式并且随后以这样的方式组合辅助表达式以使得关于条件不相关的表达式取消，许多所述表达式在程序中被评估并且可以影响加密结果，从而使得难以分析哪些表达式实际影响对应于加密结果的解密值 。

[0023] 动作表示构件可以被配置成识别非嵌套条件运算的序列的至少一个条件运算和第二多个条件中的对应条件，并且其中动作表示构件被配置成使用所识别的条件运算作为所述动作并且使用所识别的对应条件作为if语句的条件。这样的组合提供了对在条件代码块中发生的情况的特别好的隐藏。进一步地，识别单元可以被配置成识别非嵌套条件运算的序列的每一个条件运算以及第二多个条件中的每一个对应条件，其中第一生成单元和第二生成单元被配置成处理每一个所识别的条件运算和对应条件。

[0024] 在另一个方面，提供一种用于隐藏程序的变量集合 的变化的方法，该方法包括：
借助于表达ri表示变量v1,v2,...,vn中的变量vi的值wi，其中w是集合W的元素，其中并且ri是表达 的集合的元素，其中σi是状态变量，该
状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及
借助于在V'上的动作和在V\V'上的动作表示V的子集V'的值上的动作，以获得更新的表达 ，对于 ，其中 是从W×Σ到预定集合的一一密码映射，并
且其中
在V'上的动作被配置成根据变量vj的变化值w'j改变变量的集合V'中的每一个变量vj的表达rj，并且
在V\V'上的动作被配置成根据σk的变化值σ'k改变V\V'中每一个变量vk的表达rk。

[0025] 根据另一个方面，提供一种用于隐藏条件运算的系统，该系统包括：表示单元，用于借助于表达r表示值w，其中w是集合W的元素，其中 ，并且r
是表达 的集合的元素，其中σ是状态变量，该状态变量为集合Σ的元
素并且向w的表达r提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及导出单元，用于基于关于条件的输入从表达r导出值 的表达 ，其中 是集合W的元素，其中 是表达 的集合的元素，其中 ，其中 是状
态变量，该状态变量为集合Σ的元素并且向 的表达 提供冗余，并且 是从W×Σ到预定集合的一一密码映射，其中基于根据输入所述条件是否成立， 与f(w)相关联或者 与相关联，其中 是在W上定义的非平凡映射，并且h是从W×Σ到W的映射。

[0026] 表示单元提供了表达r，其为值w的冗余表达。即，w的任何单个值具有许多不同的表达r，因为r可以是 的任何元素。这意味着，r的变化不一定意味着w的变化，因为对于w的相同值，r可以恰好被改变为 的不同元素。这样的表达允许条件运算被隐藏，例如如果条件b成立，将w更新为 。即，如果条件确实成立，表达r被更新以变成表达 ，其为f(w)的表达，即集合 的成员。另一方面，如果条件不成立，表达r仍被更新，但被更新为相同值w的不同表达，即集合 的（不同）成员。由于在后一种情况下，函数f用来选择集合 的特定成员，所以基于f的相同函数影响被执行和应用到表达r的运算，不管条件是否成立。由函数f提供的任何熵效应因此以表达 传播，不管条件是否成立。即，即使当攻击者将改变值r和条件b并看到其对结果 的任何影响时，仍然难以提取关于程序及其变量的信息。进一步地，对恶意观察者而言，也难以发现函数f是否已被应用到值w。

[0027] 确定单元可以被配置成确定表达 ，使得基于根据输入所述条件是否成立， 与f(w)相关联且 与 相关联，或者 与g(w)相关联且 与 相
关联，其中g是在W上定义的（非平凡）映射。这是特别有用的，以创建例如具有else部分的if语句：if b then w=f(w) else w=g(w)的隐藏实现方式。两个函数f和g影响最终结果 ，尽管这些函数中只有一个影响w部分，或者从中选择表达 的集合 。另一个函数仅仅影响的哪一个元素被选择。因此函数f和g中（如通过条件确定的）只有一个确定表达 的底层解密值 。

[0028] 导出单元可以被配置成使用将输入和表达r的元组映射到对应的表达 的至少一个查找表来查找与关于条件的输入和表达r对应的表达 。借助于查找表的实现方式允许防止泄漏在从输入变量和函数f计算条件中涉及的任何信息。而且，取决于条件的任何if语句或跳跃指令可以被避免。

[0029] 例如， 。导出单元可以被配置成识别确定条件b的一个或多个变量，并且导出单元可以包括：交换单元，其用于基于表达r和所述一个或多个变量执行隐藏的交换运算的，使得对于 和q 且 ，其中 是从W×Σ到预定集合的一一密码映射，其中 不同于 ，其中 是一个表达；
和/或基于表达 和所述一个或多个变量执行隐藏的交换运算，使得对于 和q 且,
其中 是从W×Σ到预定集合的一一密码映射，其中 不同于 。

[0030] 当计算表达 时，这些交换运算可以被分别用作预处理和/或后处理步骤，使得实际函数f和/或g的隐藏实现方式可以被简化。

[0031] 导出单元可以进一步包括函数评估单元，其用于计算基于表达 获得表达 的函数，使得对于 和q 且 ,其中g是在W上定义的映射。

[0032] 这样，取决于之前执行的交换运算，函数f和g可以应用到表达 的w或σ方位，使得f和g的隐藏实现方式可以相同，不管条件是否成立。

[0033] 例如，对于w和 的所有值， 。在此示例中，当条件不真时，所述表达的方位不受所述表达的w方位的影响。这改进了方案的对称性。

[0034] 确定单元可以被配置成确定表达 ，使得基于所述条件： 且，或 且 。这可以用来创建例如if语句的隐藏实现方式，该if语
句不具有else部分：if b then w=f(w)。

[0035] 根据本发明的另一个方面，提供一种有条件地执行运算的方法。该方法包括以下步骤：借助于表达r表示值w，其中w是集合W的元素，其中 ，并且r是表达
的集合的元素，其中σ是状态变量，该状态变量为集合Σ的元素并且
向w的表达r提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及
基于关于条件的输入从表达r导出值 的表达 ，其中 是集合W的元素，其中 是表达 的集合的元素，其中 ，其中 是状态变量，该状态
变量为集合Σ的元素并且向 的表达 提供冗余，并且 是从W×Σ到预定集合的一一密码映射，其中基于根据输入所述条件是否成立， 与f(w)相关联或者 与 相关
联，其中 是在W上定义的非平凡映射，并且h是从W×Σ到W的映射。

[0036] 根据本发明的另一个方面，提供一种用于创建有条件地执行运算的计算机代码的系统。该系统包括：识别单元，用于识别条件和条件运算f，其将在变量w上执行，从而在条件成立的情况下计算变量 ，使得 ，其中 是集合W的元素并且其中f是在W上定义的映射；
第一生成单元，用于生成第一计算机代码，其中第一计算机代码被配置成在被执行时，借助于表达r表示变量w，其中w是集合W的元素，其中 ，并且r是表达
的集合的元素，其中σ是状态变量，该状态变量为集合Σ的元素并且
向w的表达r提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及
第二生成单元，用于生成第二计算机代码，其中第二计算机代码被配置成在被执行时，基于关于条件的输入确定值 的表达 ，其中 是表达 的集合的
元素，其中 ，其中 是状态变量，该状态变量为集合Σ的元素并且向 的表达
提供冗余，其中 是从W×Σ到预定集合的一一密码映射；并且其中在根据输入所述条件成立的情况下， ，并且在根据输入所述条件不成立的情况下，= ，其中
h是从W×Σ到W的映射。

[0037] 这样的系统可以用于将明文（非隐藏）运算转换成隐藏的代码。例如，该系统可以实现为生成隐藏代码的编译器的部分。例如，生成的计算机代码可以包括机器代码、伪代码或虚拟机代码。

[0038] 根据另一个方面，提供一种创建有条件地执行运算的机器代码的方法，该方法包括：识别条件和条件运算f，其将在变量w上执行，从而在条件成立的情况下计算变量 ，使得 ，其中 是集合W的元素并且其中f是在W上定义的映射；
生成第一计算机代码，其中第一计算机代码被配置成在被执行时，借助于表达r表示变量w，其中w是集合W的元素，其中 ，并且r是表达 的集合的
元素，其中σ是状态变量，该状态变量为集合Σ的元素并且向w的表达r提供冗余，并且 是从W×Σ到预定集合的一一密码映射；以及
生成第二计算机代码，其中第二计算机代码被配置成在被执行时，基于关于条件的输入确定值 的表达 ，其中 是表达 的集合的元素，其中
，其中 是状态变量，该状态变量为集合Σ的元素并且向 的表达 提供冗
余，其中 是从W×Σ到预定集合的一一密码映射；并且其中在根据输入所述条件成立的情况下， ，并且在根据输入所述条件不成立的情况下，= ，其中h是从W×
Σ到W的映射。

[0039] 根据另一个方面，提供一种包括用于促使处理器执行上文阐述的方法中的一个或多个的指令的计算机程序产品。

[0040] 本领域技术人员将会领会，本发明的上述实施例、实现方式和/或方面中的两个或更多个可以以任何被认为有用的方式组合。

[0041] 本领域技术人员在本说明书的基础上可以实施对应于所述系统的所描述的修改和变形的方法和计算机程序产品的修改和变形。

附图说明

[0042] 本发明的这些和其他方面根据下文描述的实施例而是清楚明白的并且将参照这些实施例进行阐述。

[0043] 图1是用于取决于条件执行变换的系统的框图。

[0044] 图2是用于隐藏条件运算的系统的框图。

[0045] 图3是用于隐藏条件运算的导出单元的框图。

[0046] 图4是隐藏条件运算的方法的流程图。

[0047] 图5是用于创建有条件地执行运算的机器代码的系统的框图。

[0048] 图6是用于创建有条件地执行运算的机器代码的另一个系统的框图。

[0049] 图7是转换嵌套条件运算的方法流程图。

[0050] 图8是创建有条件地执行隐藏运算的机器代码的方法的流程图。

[0051] 图9是用于隐藏变量集合的变化的系统的框图。

[0052] 图10是隐藏变量集合的变化的方法的流程图。

具体实施方式

[0053] 在下文中，给出关于如何改进数据值的加密以及隐藏程序的内部工作的描述。例如，这样的技术可以被应用以创建安全虚拟机。使用本文公开的技术也可以保护其他种类的系统抵御信息泄漏。贯穿本文档，词语隐藏被用来指示程序的功能难以例如通过逆向工程被发现。混淆是用于指示难以发现在程序代码中执行什么功能操作的另一术语。

[0054] 图1图示了一种包括被配置成执行条件运算的变换单元101的系统。即，变换单元101接收值w和条件b，并且输出取决于b的 。在条件b为真的情况下，变换单元输出。在条件b为假的情况下，变换单元101输出 。本文中f和g是不同的函
数。在可替换布置中，变换单元101被配置成接收一些变量（未示出）而不是条件自身，并且变换单元101首先评估表达式以基于这些变量确定条件b是否为真。在此之后，变换单元101输出 （如果条件为真）或者 （如果条件为假）。在下文中，将公开其中w和
的值以及可能地b被加密的实施例。

[0055] 图2图示了用于以隐藏方式执行条件变换的系统。该系统包括用于识别值w的密码表达的表示单元102。例如，w的值在表示单元102的输入105处被提供，并且表示单元102被配置成加密w的值以生成w的加密表达r。可替换地，表示单元102可以被配置成接收表达r作为输入值101，并且将表达r转发至导出单元103。在任一情况下，值w与其密码表达r之间的示例关系可以被解释如下。

[0056] 令 标示应当被编码的运算数（运算的输入值）的集合。定义状态的有限集 和具有等于 和 的基数的乘积的基数的有限集V。 的元素通过秘密编码函数 以一对一的方式被映射到V。元素 的编码代表是集合 的成员。每个元素 的代表的数量因而等于 的基数。作为结果，携带来自V的符号的数据路径等于（的基数=1）或宽于（ 的基数>1）用于携带来自W的符号的数据路径。换言之，当 的基数大于
1时，存在可以表示w的任何特定值的更多值，因为表达 不仅取决于w，而且取决于状态变量 ，其不一定具有任何意义，但可以被随机选择。此状态变量 仅仅被引入以加密w的值并且隐藏w上执行的任何运算。优选地， ，或者至少W的基数等于 的基数。然而，这不是限制。

[0057] 考虑要被编码（或隐藏）的函数 。构造函数 ，使得 和，我们有 。因此 将w的代表映射到 的代表。一般定义可以
是：
.                       (等式 1)
在此示例中， 的代表 部分地由函数 确定。即，使用关系
，与 的代表相关联的状态值可以取决于值w和与 的代表相关联的状态
二者。在一个特定示例中，g仅取决于 ，使得 。然而，下文不限于此特定示例。

[0058] 如等式1中所定义的运算 的编码和值表达 因而进一步使用某种映射g来隐藏。该映射g对发生在程序中的每个和每一个运算而言可能是不同的。相应地，具有相应运算 的多个指令引入了分别具有关系 的对应的多个指令。具有运算 的指令的执行顺序可以诱导具有关系 的指令的执行顺序。实际上，除了由运算 构成的计算之外，新的计算开始存在以计算 。该后者的计算在下文中被称为 计算或 轨迹。类似地，对于程序中通过引入相应的加密函数 的序列的每个和每一个运算而言，加密函数 可能是不同的，使得在每个运算之后，任何值w的表达可能是不同的。在这样的情况下，等式1推广为等式1a：
.              (等式1a)
对于指令的描述，可以采用等式1的对称一般化。考虑函数 ,关系
。等式1可以被推广为：
                 (等式2)
在这样的情况下，等式1中 的也许部分信息可能作为 或 的部分而被传递。可
以形成两种观察结果。第一种观察结果是，在一个特定示例中， 以及 可以是加密术，并且“仅仅”组合这些值。第二种观察结果是，作为值以及 作为状态的作用被视为衰减。能够确定 或者 、 或者 就足够了。

[0059] 为了掩盖程序流，跳跃运算可以被消除并且用上述表达上的可替换的运算代替。然而，与现代处理器架构的if转换特征的情况不同的是，此if转换未被进行以防止昂贵的管道破坏，而是移除控制流中任何可观察到的变化。这样，控制流的分析并不暴露在程序中进行的任何选择。进一步地，当对诸如“如果布尔型b为真，则进行运算F，不然进行运算G”之类的条件程序进行编码时，可以借助于本文公开的技术确保两个分支（“运算F”和“运算G”）都对 产生贡献，不管条件（“如果布尔型b为真”）的结果如何。通过这样做，可以实现条件在整个程序上的统计散布。例如，
• w的发展由对应于条件的结果的分支确定，
•  的发展由不对应于条件的结果的分支确定。

[0060] 和 二者可以同时计算，并且/或者可以借助于 而不可分离地连接到彼此。通过分析所得的数据，所采取的分支和条件的值都不能确定。可以消除基于条件的结果在现有技术中实现的跳跃运算，从而使得难以从程序的控制流提取信息。可以使值 取决于if-then-if构造的两个分支。就信息论而言，和 的熵散布非常好。

[0061] 例如，由图1的变换单元101执行的变换的程序表示可以如下：if b then   := f(w) else  := g(w)。

[0062] 在图2所示的示例实施例中，导出单元103接收如上文所解释的值w的加密表达r，以及关于条件b 104的输入信息。此输入信息可以是布尔型的或者加密的布尔型变量。可替换地，输入信息可以包括可以通过例如变换单元101在定义条件的述语中组合的一个或多个变量。

[0063] 图1的上述条件程序可以通过使用如上所述的状态变量引入冗余来重新编程，其中 是运算数w的表达，并且 是结果 的表达，使得对于 和 一些值，。导出单元103的输出可以概括如下：
if b
then  :=  ;
else  :=  。

[0064] 运算 和 各自可以以查找表的形式实现。然而，为了避免if语句和对应的条件跳跃运算在导出单元103内的执行，有可能的是借助于查找表来实现导出单元103，该查找表将b和表达r的组合直接映射到 的对应值。这里，b可以是加密的布尔型变量。而且，b可以用一个或多个输入变量代替，其中条件b是那些变量的函数。
在这样的情况下，这些变量和表达r的组合可以通过查找表而映射到 的对应值。在这样的情况下，定义条件b的函数可以与查找表中的f和g一起编码。取代查找表的是，可以使用查找表的网络。在本领域中将函数实现为查找表的网络的方式本身是已知的。

[0065] 如从上文可以看到，运算f和g二者对表达 具有影响，不管条件（“if b”）的结果如何。因此运算f和g二者对 的“熵”产生贡献，使得难以从这些条件运算提取信息。

[0066] 图3图示了导出单元103的示例实现方式。在这个特定实现方式中，if语句（或条件跳跃运算）被两个交换运算305和306取代。这样的交换运算可以例如以查找表的形式实现。下面三行中每一个相应行中描述的运算可以例如通过相应的查找表实现。

[0067] 输入:b和r，其中 。

[0068] 行1: if b then  :=   else  :=   fi行2:  :=  .
行3: if b then  :=   else  :=   fi
输出:  ，其中 或 。

[0069] 上述代码片段中的行1解释了交换运算305的功能，其基于条件b（数字104）有条件地交换表达 的值(w)和状态( )部分。上述代码片段的行2解释在块307中函数f和g如何应用表达 。行3解释交换运算306的功能，其再次基于条件b（数字104）有条件地交换表达 的值(w)和状态( )部分。

[0070] 注意到，取决于b，可以是 或 。在行2中，符号p和q被定义成使得 。在行2中，在b为真的情况下，函数f被有效地应用到w。然而，如果b不为真，则函数g被有效应用到w，但是由于行1的前述交换运算的缘故，w已经变为表达 的“状态”或“ ”部分的一部分。因此，附加的交换运算在行3中被提供，以交换 的“w”和“ ”部分。
在行3中，符号u和v被定义成使得 。即， 且 。在行3中，在b
不为真的情况下，在表达 的“状态”或“ ”部分中捕获的期望值被移到表达 的“w”部分。

[0071] 行1和3各自表示交换函数。这样的交换函数可以实现为查找表，其中基于b和表达r（或 ，分别地）的值查找正确值。有可能的是，通过选择 , , 和 使得且 ，针对行1和3二者使用相同的查找表。也可能的是，在直接将r和b的值映射到的对应值的单个查找表中对行1至3的结果进行编码。

[0072] 参照图2，执行对应于该代码片段的隐藏计算的导出单元103也可以被配置成确定输出如下：输入:条件b和表达r，其中 。

[0073] if bthen  :=  ;
else  :=  。

[0074] 这里，h为从 到 的映射。在此案例中没有使用交换运算。再者，该实现方式适合于其中 的情况，或者当W的基数不同于 的基数时的情况。可能的是，以查找表的形式实现if子句的两个分支，并且取决于条件b应用查找表中的一个。函数f和g将影响结果，不管条件b如何。可替换地，可以实现将b（或确定b的变量）和r的元组映射到对应的表达中的一个查找表。

[0075] 一种特殊情况是，在程序的非隐藏版本中不存在else分支，即考虑程序if b then   := f(w) end。

[0076] 在这种情况下，先前示例的函数 等同于同一性。即，确定单元103被配置成确定表达 ，使得基于所述条件，有：且 (当条件为真时)，或者
且 (当条件为假时)。

[0077] 这本身没有造成安全风险，因为总是存在某种发展并且熵散布通过将函数f应用到w或应用到加密域的状态 来维持。然而，这种情形可以进一步通过经由插入针对不受影响的变量的虚拟运算平衡两个分支来改进。考虑运算“平衡（Blance）”，其目的是进一步通过平衡任何if语句隐藏程序，其中不同的变量可以取决于条件而被影响。

[0078] 其中，例如 意指 。在这里，可以表示变量上的任何运算，其不改变该变量。例如Dummy(y)可以意指下述中
任何一个： ,  ,  。鉴于本公开，其他虚拟运算对本领域技术人员
而言将是显而易见的。

[0079] 换言之，包括多个分支（其中每一个分支取决于条件而被有条件地执行）的条件代码片段可以通过下述进行平衡：• 确定在条件分支的至少一个分支中变化但在条件分支的至少一个其他分支中不变的变量；
• 创建针对确定的变量的虚拟运算；
• 将该虚拟运算包括在条件分支的所述至少一个其他分支中。

[0080] 上面的三个步骤可以针对条件分支中涉及的每一个变量进行重复。

[0081] 图4图示了一种有条件地执行运算的方法。在步骤401中，借助于表达r表示值w，其中w是集合W的元素，其中 ，并且r是表达 的集合的元素，其中σ是状态变量，该状态变量为集合Σ的元素并且向w的表达r提供冗余，并且 是从W×Σ到预定集合的密码映射。例如，此表达r可以被接收。可替换地，该表达可以通过确定状态变量σ为随机数并计算或查找 而从输入值w生成。

[0082] 在步骤402中，确定值 的表达 ，其中 是集合W的元素，其中 是表达的集合的元素，其中 ，其中 是状态变量，该状态变
量为集合Σ的元素并且向 的表达 提供冗余，其中 是从W×Σ到预定集合的一一密码映射。例如，基于确定条件b和表达r的一个或多个输入变量在查找表中查找 的值。可选地，如上文所描述，执行表查找的序列，涉及交换运算、函数运算以及另一交换运算。所述表被以这样的方式设计：使得取决于条件b， 与f(w)相关联或者 与 相关联。这
里，是在W上定义的映射，并且h是从W×Σ到W的映射。

[0083] 在一个特定示例中，上述方法将f应用于加密表达 的“w”部分，使得基于该条件，例如如果该条件为真， 。否则，f被应用到 的“ ”部分，使得例如如果条件为假， 。该方法的另外变形可以被提供，如上文
参照图1至3所解释。例如，可以形成具有“else”分支的变形，使得基于该条件，或 。

[0084] 图5图示了一种用于创建有条件地执行运算的机器代码的系统。该系统包括：识别单元501，用于识别条件和条件运算f，该条件运算将在变量w上执行，使得在条件成立的情况下计算变量 ，使得 ，其中 是集合W的元素并且其中f是在W上定义的映射。例如，识别单元501可以连接到编译器（未示出）的解析器模块，其提取计算机程序的表达式，以便识别条件和条件运算。

[0085] 识别单元501可以将关于识别的条件和条件运算的信息提供给第一生成单元502，其生成机器代码。生成的机器代码在被执行时借助于表达r表示变量w，其中w是集合W的元素，其中 并且r是表达 的集合的元素，其中σ是状态变量，该状态变量为集合Σ的元素并且向w的表达r提供冗余，并且 是从W×Σ到预定集合的一一密码映射。例如，机器代码可以从实际输入值w和随机数σ生成表达r。可替换地，由第一生成单元502生成的机器代码在被执行时可以引用所述表达被存储于其中的存储器位置或者从另一个软件组件或输入设备接收表达r。

[0086] 该系统进一步包括第二生成单元503。第二生成单元503生成用于基于表达r和关于条件的输入确定值 的表达 的机器代码，其中 是表达 的集合的元素，其中 ，其中 是状态变量，该状态变量为集合Σ的元素并且向 的
表达 提供冗余，其中 是从W×Σ到预定集合的一一密码映射。如果所述条件成立，，并且如果所述条件不成立，= ，其中h是从W×Σ到W的映射。生成单
元503可以包括表生成器（未示出），其生成如上所述可以用于实现所述功能的查找表中的一个或多个。该系统可以被扩展以生成执行如上所述的计算或表查找所必需的机器代码。

[0087] 图6图示了用于生成有条件地执行运算的机器代码的系统的另一个实施例。与图5类似的项目已被给出相同的附图标记，并且不需要再次详细讨论。该系统包括将涉及多个条件的嵌套条件运算转换成非嵌套条件运算的序列的转换单元601。特别地，在输出值相同的意义上，具有对应的条件的非嵌套条件运算的序列等价于嵌套条件运算。而且，具有对应的条件的非嵌套条件运算可以通过识别单元501以及代码生成单元502和503来处理。

[0088] 图7图示了一种将涉及多个条件的嵌套条件运算转换成非嵌套条件运算的序列的示例方法。图6的转换单元601可以被配置成执行图7中图示的方法。

[0089] 在步骤701中，嵌套条件运算的相应条件分支的相应表达式被转换成辅助表达式的措辞。取决于条件，这些相应表述与要被分配给特定变量的可替换值相关联。即，所述表达式被指定为分配给生成的代码的相同变量，但是所述条件确定哪个表达式将最终被分配给该变量。在步骤702中，如果确定了步骤701应当被重复，则流程返回到步骤701，使得多个辅助表达式被生成，其中措辞以不同方式组合。如果在步骤702中，确定了已经生成了足够的辅助表达式，使得每一个条件运算等价于辅助措辞的特定组合，则该方法从步骤703继续进行。在步骤703中，代码被生成以评估辅助表达式并存储它们的结果。该步骤可以涉及生成用于评估多个条件中至少一个的组合的代码。接下来，在步骤704中，代码被生成以取决于组合的条件将辅助表达式的结果组合，其中组合的条件是多个条件的组合，使得与关于条件不相关的分支对应的措辞取消。

[0090] 再次考虑条件代码片段“if b then F else G fi”。这样的语句的条件分支F和G可以包括多个表达式，例如标示为例如“F ; F ”的运算的序列，包含循环、递归或附加的条件代码片段，比如附加if语句。后者的情形呈现嵌套布尔型受保卫的选择。

[0091] 将程序P定义为：现在，存在四个可替换方案(F, G, H, 和J)，其中只有一个将被执行。当上述技术应用到P1和P2时，取决于b1的主分支仍然不一定被所述隐藏技术完全覆盖。

[0092] 一种解决这个问题的方式是用非嵌套if语句的序列取代嵌套的if语句，并且通过这样的方式做这件事：使得每一个分支(F, G, H, J)的表达式都在执行该非嵌套if语句序列的过程中被评估。

[0093] 为了以此方式转变程序，首先可以通过插入虚拟运算来平衡表达式。

[0094] 一种系统化方法可以被应用以使程序扁平化，使得它不再包含嵌套的if子句。

[0095] 如我们之前看到的，如果程序关于熵完全平衡、特别是if子句的分支对完全平衡，则我们的方法关于密码工作得最好。在分支包含两个（无条件）分配以及一个或多个嵌套if子句的情况下，我们可以通过在if子句的每一个分支中如下分布这样的分配的副本来使那些程序“扁平化（flatten）”：考虑下面的优选地关于变量x被平衡的嵌套if子句：
这里，exp0, exp1, exp2和exp3是取决于x的表达式。

[0096] 引入p := expi+expi+1 和q := expi−expi+1 作为辅助变量，这个程序可以被变换成：由于在两个第二层级的if子句之后的延续部分现在变得相同，因此，该程序可以被“扁平化”成：
程序 1:
或者，使用乘法变体：
所得的两个if语句可以使用上文关于加密表达 的技术来实现。例如，对于
上述程序1的第一个if语句，表达r可以用来表示输入变量x，并且表达r1和r2可以用来表示p和q。另外的表达可以用来表示程序1的第二个if语句的输出x。

[0097] 当if语句被嵌套到较深层级时，那么类似技术可以被应用来将它们转换成一系列顺序的if语句。例如，考虑下面的其中if语句被双嵌套的示例程序：这个示例程序可以被转换成一系列非嵌套if语句。为做到这一点，可以采用两步骤方法。首先，类似于单个嵌套if语句的情况，来自第三层级if子句的延续部分可以通过引入如下辅助变量p和q来统一：p := expi + expi+1, 且q := expi - expi+1。这在下面的代码中更详细地被说明：
这个程序可以被扁平化以获得没有任何嵌套if子句的下述代码：
对于任何表达式exp0至exp7，上面的将具有双重嵌套if子句的程序转换成具有顺序的非嵌套if子句的程序的转换过程可以应用到具有上述格式的任何程序。

[0098] 图8图示了一种创建有条件地执行运算的计算机代码的方法。步骤801涉及识别条件和条件运算f，该条件运算将在变量w上执行，使得在条件成立的情况下计算变量 ，使得，其中是 集合W的元素并且其中f是在W上定义的映射。步骤802涉及生成第一计算机代码，其中第一计算机代码被配置成在被执行时，借助于表达r表示变量w，其中w是集合W的元素，其中 并且r是表达 的集合的元素，其中σ是状态变量，该状态变量为集合Σ的元素并且向w的表达r提供冗余，并且 是从W×Σ到预定集合的一一密码映射。步骤803涉及生成第二计算机代码，其中第二计算机代码被配置成在被执行时，基于关于条件的输入确定值 的表达 ，其中 是表达
的集合的元素，其中 ，其中 是状态变量，该状态变量为集合Σ的元素并且向
的表达 提供冗余，其中 是从W×Σ到预定集合的一一密码映射；并且其中在根据输入所述条件成立的情况下， ，并且在根据输入所述条件不成立的情况下， =
，其中且h是从W×Σ到W的映射。

[0099] 程序中跳跃的移除可以用来禁止分析控制流或涉及的值。计算在if语句的所有分支、甚至关于条件不相关的分支中进行的计算以及将那些计算的结果组合在一个数据元件中可以帮助达到此目标。

[0100] 其中跳跃被抑制的表驱动机器的系统可以被创建以移除程序的控制流中的变化，其中在布尔型受保卫的选择的情况下， 形式的编码沿着通过至多 未采取的分支以及沿着通过至少w采取的分支发展。

[0101] 图9图示了一种用于隐藏程序的变量集合 的变化的系统。该系统包括值表示构件902，用于借助于表达ri表示变量v1,v2,...,vn中的变量vi的值wi，其中w是集合W的元素，其中 并且ri是表达 的集合的元素，其
中σi是状态变量，该状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射。此值表示构件902可以使用上文公开的技术实现。值表示构件
902可以被配置成以指定方式由相应的表达 表示所有变量 。例如，
的值可以随机选择。值表示构件902可以被配置成基于底层值wi计算表达ri。值表示构件902还可以被配置成从另一个设备或从系统的另一个组件接收表达ri。n是正整数。即，一般地，变量集合V包含至少一个变量。

[0102] 该系统可以进一步包括动作表示构件903，其用于借助于在 上的动作和在V\上的动作表示V的子集 中的变量的值上的动作，以获得更新的表达 ，其中，其中 是从W×Σ到预定集合的一一密码映射。 可以与 相等。可替换地，
可以是不同于 的密码映射。因而，有可能的是，当改变表达时改变密码映射。

[0103] 而且，动作表示构件可以被配置成执行 上的动作和V\ 上的动作。可替换地，动作表示构件可以被配置成仅通过生成在被执行时执行所述动作的程序代码来表示这些动作。在后者情况下，动作表示构件903可以被配置成识别（例如借助于解析器）定义子集 中的变量的值上的动作的程序代码，并且将该程序代码变换成定义 上的动作和V\ 上的动作的程序代码。

[0104] 在 上的动作被配置成根据变量vj的变化值w’j改变变量的集合V'中的每一个变量vj的表达rj，并且V\V'上的动作被配置成根据状态变量σk的变化值 改变V\V'中每一个变量vk的表达rk。特别地，V\V'中每一个变量vk的表达rk被改变成表示 的相同值的表达。变量集合V'中的每一个变量vj的表达rj可以根据变量 的变化值 而改变，保持 的相同值（或可选地 的不同值）。

[0105] 所述动作可以包括if语句，其在条件成立的情况下定义变量集合 上的动作，并且在条件不成立的情况下定义变量集合 上的动作，其中 和 二者是V的子集。换言之，变量集合V包括 和 的并集，从而 。动作表示构件903可以被配置成在条件成立的情况下使用变量集合 作为变量集合 。这意味着动作表示构件903通过根据变量 的变化值 改变变量集合 中的每一个变量vj的表达rj来执行V1上的动作，并且通过根据状态变量σk的变化值 改变V\V1中每一个变量vk的表达rk来执行V\ 上的动作。

[0106] 而且，动作表示构件903可以被配置成在条件不成立的情况下使用变量集合 作为变量集合 。这意味着动作表示构件903通过根据变量 的变化值 改变变量集合 中的每一个变量vj的表达rj来执行V2上的动作，并且通过根据状态变量σk的变化值 改变V\V2中每一个变量vk的表达rk来执行V\ 上的动作。

[0107] 变量中的一些可以通过条件代码片段来改变，无论条件是否成立。在这样的情况下，变量集合V1和变量集合V2可以具有交集V3，其中 。该动作在条件成立的情况下根据函数fm并且在条件不成立的情况下根据函数gm改变集合V3的每一个变量vm的值。该动作表示构件被配置成通过确定集合V3的每一个变化的变量vm的表达的动作表示这些动作，使得在所述条件成立的情况下， 且
，但在所述条件不成立的情况下， 且 。这里，hm是从W×
Σ到W的映射。

[0108] 动作表示构件903可以借助于查找运算来实现。为此目的，一个或多个查找表可以被准备并存储在系统的存储器中。条件是否成立不需要由系统明确确定。相反，可以接收确定条件的值的输入。所述一个或多个查找表可以将这些输入值连同所述表达一起映射到对应的改变的表达。动作表示构件903因而可以被配置成使用至少一个查找表促成与关于条件的输入和表达 对应的表达 的查找，所述至少一个查找表将关于条件的输入和表达的元组映射到对应的表达 。

[0109] 动作表示构件903还可以借助于上文参照图3描述的一个或多个交换运算来实现。动作表示构件903可以被配置成识别确定条件b的一个或多个输入变量，并且如上所述，可以包含用于变量集合 中的每一个变量的第一交换单元305、函数评估单
元307和/或第二交换单元306。

[0110] 上面描述的值表示构件902和动作表示构件903可以操作地耦合到上面描述的转换单元601。转换单元601通过涉及第二多个条件的非嵌套条件运算的功能等价序列表示涉及第一多个嵌套条件的嵌套条件运算。例如，非嵌套条件运算的序列可以由转换单元601通过处理嵌套条件运算生成。每一个所得的非嵌套条件运算可以以所阐述的方式单独地通过动作表示构件903表示。

[0111] 图10图示了一种隐藏程序的变量集合 的变化的方法。在步骤1001中，由表达ri表示变量v1,v2,...,vn中的变量vi的值wi，其中w是集合W的元素，其中，并且ri是表达 的集合的元素，其中σi是状态变量，该
状态变量为集合Σ的元素并且向wi的表达ri提供冗余，并且 是从W×Σ到预定集合的一一密码映射。在步骤1002中，由在V'上的动作和在V\V'上的动作表示V的子集V'的值上的动作，以获得更新的表达 ，其中 ，其中 是从W×Σ到预定集合的
一一密码映射，并且其中在V'上的动作被配置成根据变量vj的变化值w'j改变变量的集合V'中的每一个变量vj的表达rj，并且在V\V'上的动作被配置成根据σk的变化值σ'k改变V\V'中每一个变量vk的表达rk。

[0112] 应当领会，本发明还适用于适于将本发明付诸实践的计算机程序，特别是载体上或载体中的计算机程序。涉及计算机程序产品的实施例包括与本文阐述的至少一个方法的每一个处理步骤对应的计算机可执行指令。这些指令可以被细分成子例程和/或存储在可以静态或动态链接的一个或多个文件中。涉及计算机程序产品的另一个实施例包括对于本文阐述的系统和/或产品中至少一个的每一个单元对应的计算机可执行指令。这些指令可以被细分成子例程和/或存储在可以静态或动态链接的一个或多个文件中。

[0113] 计算机程序的载体可以是能够承载程序的任何实体或设备。例如，载体可以包括存储介质，比如ROM，例如CD ROM或半导体ROM、或磁记录介质。而且，载体可以是可传输载体，比如电信号或光信号，其可以经由电气或光学线缆或通过无线电或其他手段被传达。当程序体现在这样的信号中时，载体可以由这样的线缆或其他设备或构件构成。可替换地，载体可以是程序体现在其中的集成电路，该集成电路适于执行相关方法或用在相关方法的执行中。

[0114] 应当注意，上述实施例说明而非限制本发明，并且本领域技术人员将能够在不脱离随附权利要求的范围的情况下设计出许多可替换实施例。在权利要求中，置于括号之间的任何附图标记不应当被解释为限制权利要求。动词“包括”及其词形变化的使用不排除权利要求中叙述的那些之外的元件或步骤的存在。元件之前的冠词“一”不排除多个这样的元件的存在。本发明可以借助于包括若干不同元件的硬件以及借助于适当编程的计算机实现。在列举若干构件的设备权利要求中，这些构件中的若干个可以由同一项硬件体现。在相互不同的从属权利要求中叙述某些措施的纯粹事实并不表示这些措施的组合不能用于获益。