公开(公告)号：US10725936B2

公开(公告)日：2020-07-28

申请号：US16048659

申请日：2018-07-30

Applicant: Siemens Aktiengesellschaft

Inventor： Maximilian Walter ,  Karl-Hermann Witte

IPC: G06F12/14 ,  H03M7/30 ,  H03M7/40 ,  H03M7/02 ,  G06F21/62

Abstract: A method for protecting data in a data memory against an undetected change, wherein a functional variable x is encoded via a value, an input constant, an input signature and a timestamp D into a coded variable, where the functional variable is normalized relative to a base to form the integer value from the functional variable.

公开(公告)号：US09195534B2

公开(公告)日：2015-11-24

申请号：US13772909

申请日：2013-02-21

Applicant: Siemens Aktiengesellschaft

Inventor： Jan Richter ,  Andreas Schenk ,  Karl-Hermann Witte

IPC: G06F11/07 ,  G06F11/00 ,  G06F11/08

CPC classification number: G06F11/0778 ,  G06F11/006 ,  G06F11/0763 ,  G06F11/085

Abstract: A method for storing and propagating error information in computer programs, in which a globally valid error variable is used for storing and propagating the error information, wherein for each recognized error a nonzero value for the error is added to the error variable as error information with a respective stipulated arithmetic sign, and wherein the value is formed from a discrepancy in the content of a coded variable from an expected value. This combination and integration of a separate global propagation variable with values derived from an error, particularly by virtue of detected discrepancies in the known error recognition and propagation paths using operations and operands in “coded processing”, achieves an increased propagation certainty.

Abstract translation: 一种在计算机程序中存储和传播错误信息的方法，其中使用全局有效的误差变量来存储和传播错误信息，其中对于每个识别的错误，将错误的非零值作为错误信息添加到错误信息中， 相应规定的算术符号，并且其中所述值由编码变量的内容与预期值的差异形成。 单独的全局传播变量与从错误导出的值的组合和集成，特别是通过使用“编码处理”中的操作和操作数的已知误差识别和传播路径中的检测到的差异实现了增加的传播确定性。

公开(公告)号：US11914456B2

公开(公告)日：2024-02-27

申请号：US18028584

申请日：2021-09-03

Applicant: Siemens Aktiengesellschaft

Inventor： Karl-Hermann Witte

IPC: G06F21/00 ,  G06F11/07 ,  G06F11/10 ,  G06F21/64 ,  G06F21/44 ,  G06F21/56

CPC classification number: G06F11/0736 ,  G06F11/1004 ,  G06F21/64 ,  G06F21/44 ,  G06F21/565 ,  G06F2201/83

Abstract: A method, device and computer program product for securing access to an encoded variable in a computer program with a plurality of encoded variables that each having its own dynamic signature, wherein when the encoded variable is accessed, the dynamic signature of the variable is modified, where the sum value for all dynamic signatures of all other encoded variables is controlled in an encoded tracer variable, the sum value being controlled in the tracer variables is adapted if a dynamic signature of one of the encoded variables is modified, the encoded variable is compared with the sum value stored in the encoded tracer variable to monitor the sum of the dynamic signatures, and where an error handling process is initiated in the event of a discrepancy such that all signatures in an arithmetically encoded program can be managed in a high-performance manner regardless of the complexity of the program.

公开(公告)号：US20190073320A1

公开(公告)日：2019-03-07

申请号：US16048659

申请日：2018-07-30

Applicant: Siemens Aktiengesellschaft

Inventor： Maximilian Walter ,  Karl-Hermann Witte

IPC: G06F12/14 ,  G06F21/62

Abstract: A method for protecting data in a data memory against an undetected change, wherein a functional variable x is encoded via a value, an input constant, an input signature and a timestamp D into a coded variable, where the functional variable is normalized relative to a base to form the integer value from the functional variable.

公开(公告)号：US09722628B2

公开(公告)日：2017-08-01

申请号：US15176943

申请日：2016-06-08

Applicant: SIEMENS AKTIENGESELLSCHAFT

Inventor： Jan Richter ,  Maximilian Walter ,  Karl-Hermann Witte

IPC: H03M7/00 ,  G06F11/00 ,  G06F11/07 ,  G06F11/10 ,  H04L1/12 ,  H04M13/00

CPC classification number: H03M7/00 ,  G06F11/008 ,  G06F11/0796 ,  G06F11/1004 ,  H03M13/07 ,  H04L1/12 ,  H04M13/00

Abstract: In a method in a computer system for recoding a coded intermediate variable into a recoded result variable a product is formed by multiplying an input constant by an input variable to be coded. The coded intermediate variable is formed as a function of the product and a multiplicative inverse is determined on the basis of the input constant. The multiplicative inverse is applied to the coded intermediate variable, so that no uncoded or partially uncoded interim result is produced and/or an error information potentially contained in the coded intermediate variable is still detectable in the interim result.