Reliability of physical systems is provided by reliability of their parts including logical ones. Insertion of malicious subcircuits that can destroy logical circuit or cause leakage of confidential information from a system necessitates the detection of such subcircuits followed by their masking if possible. We suggest a method of finding a set of sequential circuit nodes in which Trojan Circuits can be inserted. The method is based on random estimations of controllability and observability of combinational nodes calculated using a description of sequential circuit working area and an evidence of existence of a transfer sequence for the proper set of internal states without finding the sequence itself. The method allows cutting calculations using operations on Reduced Ordered Binary Decision Diagrams (ROBDDs) that can depend only on the state variables of the circuit. The approach, unlike traditional ones, does not require preliminary sequential circuit simulation but can use its results. It can be used when malicious circuits cannot be detected during sequential circuit verification.
Similar content being viewed by others
References
Y. Masoyoshi, T. Tomohiro, and H. Toshinori, in: Proc. 16th IEEE Workshop on RTL and High Level Testing, Mumbai (2015), pp. 84–89.
A. Yu. Matrosova, S. A. Ostanin, A. I. Bucharov, and I. E. Kirienko, J. Contr. Computer Sci., No. 2 (27), 82–89 (2014).
O. I. Golubeva, J. Contr. Computer Sci., No.1 (30), 77–86 (2015).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 8, pp. 140–147, August, 2016.
Rights and permissions
About this article
Cite this article
Matrosova, A.Y., Kirienko, I.E., Tomkov, V.V. et al. Reliability of Physical Systems: Detection of Malicious Subcircuits (Trojan Circuits) in Sequential Circuits. Russ Phys J 59, 1281–1288 (2016). https://doi.org/10.1007/s11182-016-0903-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11182-016-0903-8