Title :
Malicious hardware: Characteristics, classification and formal models
Author :
Gorbachov, Valeriy
Author_Institution :
Kharkiv Nat. Univ. of Radio Electron., Kharkiv, Ukraine
Abstract :
The paper addresses the threat to the security of using electronic systems, which may include malicious inclusions. The action classification of malicious hardware (MH) is given. The MH formal models, as well as formal model of unauthorized access, executed by MH, are based on the subject-object concept.
Keywords :
authorisation; embedded systems; invasive software; MH characteristics; MH formal models; action classification; electronic systems; malicious hardware; malicious inclusions; security threat; subject-object concept; unauthorized access; Availability; Hard disks; Hardware; Information security; Integrated circuit modeling; Switches;
Conference_Titel :
Design & Test Symposium (EWDTS), 2014 East-West
Conference_Location :
Kiev
DOI :
10.1109/EWDTS.2014.7027092
