防止不察觉地改变存储器的数据的方法和数据处理设备技术

本发明专利技术涉及一种用于防止不察觉地改变数据存储器中的数据的方法，其中，函数变量x借助值wertx、输入常量A、输入签名Bx和时间戳D根据公式：xc：＝wertx×A+Bx+D被编码成为编码变量xc，其中，为了从函数变量x形成整数的值wertx，将函数变量相关于基准Basisx进行标准化。

【技术实现步骤摘要】
防止不察觉地改变存储器的数据的方法和数据处理设备
本专利技术涉及一种用于防止不察觉地改变数据存储器中的数据的方法，以及一种数据处理设备。
技术介绍
在面向安全性的应用中，通常使用编码形式的变量，以便能够防止它们出错并且防止不察觉地改变它们。在算术编码期间，函数变量x以不同的校验位被扩展，校验位能够识别特定的、所出现的错误。算术编码的一种广泛形式是ANBD编码。在ANBD编码中，未编码的函数变量x借助输入常量A、变量专用的输入签名Bx和时间戳D转为编码变量xc。xc＝A×x+Bx+D输入常量A能够实现对值范围中的错误的检测。使用变量专用的输入签名Bx能够识别运算对象错误和算符错误。借助使用时间戳D，能够识别出未完成的变量更新。在这种应用中，此时连续使用编码变量xc，因为将变量解码为未编码的形式x会导致编码变量xc中存在的错误信息丢失。为了利用编码变量xc执行计算操作，需要使用编码的算符，这些编码的算符将函数部分x和与之对应的校验位都引用到运算中。在EP3104276A1中描述了一种方法，它能够实现将ANBD编码的变量xc转码为A′NB′D‵编码的变量xc'，也就是说，校验位A、B和D被本文档来自技高网...

【技术保护点】
1.一种用于防止不察觉地改变数据存储器中的数据的方法，其中，函数变量x借助值wertx、输入常量A、输入签名Bx和时间戳D根据公式：xc：＝wertx×A+Bx+D被编码成编码变量xc，其特征在于，为了从函数变量x形成整数的值wertx，所述函数变量相关于基准Basisx进行标准化。

【技术特征摘要】
2017.08.07 EP 17185083.71.一种用于防止不察觉地改变数据存储器中的数据的方法，其中，函数变量x借助值wertx、输入常量A、输入签名Bx和时间戳D根据公式：xc：＝wertx×A+Bx+D被编码成编码变量xc，其特征在于，为了从函数变量x形成整数的值wertx，所述函数变量相关于基准Basisx进行标准化。2.根据权利要求1所述的方法，其特征在于，所述函数变量x在编译过程期间被编码成所述编码变量xc。3.根据前述权利要求中任一项所述的方法，其特征在于，所述值wertx根据公式：wertx：＝(x/Basisx)mod2Sizex来计算出，其中，Sizex是可提供的存储器大小。4.根据权利要求1或2所述的方法，其特征在于，所述值wertx根据公式：wertx：＝(x-minx/Basisx)mod2Sizex来计算出，其中，minx是x的预设最小值。5.根据前述权利要求中任一项所述的方法，其特征在于，为控制程序提供所述数据，并且基准Basisx被设为大于或等于所述值x的根据所述控制程序预定义的最大可达到的值maxx与根据所述控制程序预定义的最小可达到的值minx之差除以可提供的存储器大小Sizex，即：Basisx≥(maxx-minx)/Sizex。6.根据前述权利要求中任一项所述的方法，其特征在于，两个编码变量x1c和x2c的编码加法+c根据公式：wertx3：＝(wertx...

【专利技术属性】
技术研发人员：马克西米利安·沃尔特，卡尔赫尔曼·威特，
申请(专利权)人：西门子股份公司，
类型：发明
国别省市：德国,DE