7.6 Using Mathematical Instruments …
703
In other words, the authors of [110] claim that by exceeding the permissible
interference level in the power circuit to increase security they change the general
paradigm, according to which interference in the power circuit affects IC reliability
(security) in a negative manner. It is an interesting method; unfortunately, we did not
manage to find results of experimental works for practical implementation of this
method in literature at the time of writing this book.
7.6.3 Mathematical Apparatus of Attack Modeling
As we have stated above, the Information Forensic Concept [110] is based on the
method of the so-called adverse dynamics, which involves mathematical methods of
the game theory for analysis of dynamic interaction between the experimenter and
the intruder who is trying to avoid being detected. The main element in this analysis
is the theoretical model known as Nash equilibrium.
By determining the Nash equilibrium in a theoretical game structure, the expert
can also determine specific actions that the intruder will use to hide their Trojan circuit
in the IC structure. Using the Nash equilibrium, it is also possible to determine the
final actions of the expert that will be performed in response to the actions of a
rational intruder.
Clearly, the suggested approach can be used to develop brand new principles of
IC design, which will maximize the possibility of detection of hardware Trojans.
The main feature of such information forensic consists in the fact that different
operations of IC design editing (altering) leave their unique footprints on the image.
By analyzing these footprints, the expert can theoretically answer two critical
security-related questions: whether the images have changed, and if so, what kind
of editing operation was used to make the changes. Similarly to classic procedures
for image editing and digital processing, circuits with hardware Trojans introduce
various changes in signal shapes and statistical characteristics of interference signals
in IC power supply circuits.
The authors of [110] claim that the ratio between interference levels of various
embedded voltage sensors is similar to the relations between different image pixels,
which are modeled in the tasks of information forensic and digital signal processing.
Since integrated sensors are placed across the entire IC topology, they will cover
the entire spatial profile of noise signals in the power supply circuit. Thus, by using
classical methods of digital signal handling and graph theory, it is theoretically
possible to localize an anomaly in this spatial profile up to localization of the physical
position of the embedded Trojan.
703
In other words, the authors of [110] claim that by exceeding the permissible
interference level in the power circuit to increase security they change the general
paradigm, according to which interference in the power circuit affects IC reliability
(security) in a negative manner. It is an interesting method; unfortunately, we did not
manage to find results of experimental works for practical implementation of this
method in literature at the time of writing this book.
7.6.3 Mathematical Apparatus of Attack Modeling
As we have stated above, the Information Forensic Concept [110] is based on the
method of the so-called adverse dynamics, which involves mathematical methods of
the game theory for analysis of dynamic interaction between the experimenter and
the intruder who is trying to avoid being detected. The main element in this analysis
is the theoretical model known as Nash equilibrium.
By determining the Nash equilibrium in a theoretical game structure, the expert
can also determine specific actions that the intruder will use to hide their Trojan circuit
in the IC structure. Using the Nash equilibrium, it is also possible to determine the
final actions of the expert that will be performed in response to the actions of a
rational intruder.
Clearly, the suggested approach can be used to develop brand new principles of
IC design, which will maximize the possibility of detection of hardware Trojans.
The main feature of such information forensic consists in the fact that different
operations of IC design editing (altering) leave their unique footprints on the image.
By analyzing these footprints, the expert can theoretically answer two critical
security-related questions: whether the images have changed, and if so, what kind
of editing operation was used to make the changes. Similarly to classic procedures
for image editing and digital processing, circuits with hardware Trojans introduce
various changes in signal shapes and statistical characteristics of interference signals
in IC power supply circuits.
The authors of [110] claim that the ratio between interference levels of various
embedded voltage sensors is similar to the relations between different image pixels,
which are modeled in the tasks of information forensic and digital signal processing.
Since integrated sensors are placed across the entire IC topology, they will cover
the entire spatial profile of noise signals in the power supply circuit. Thus, by using
classical methods of digital signal handling and graph theory, it is theoretically
possible to localize an anomaly in this spatial profile up to localization of the physical
position of the embedded Trojan.