• DocumentCode
    251610
  • Title

    Malicious hardware: Characteristics, classification and formal models

  • Author

    Gorbachov, Valeriy

  • Author_Institution
    Kharkiv Nat. Univ. of Radio Electron., Kharkiv, Ukraine
  • fYear
    2014
  • fDate
    26-29 Sept. 2014
  • Firstpage
    1
  • Lastpage
    4
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design & Test Symposium (EWDTS), 2014 East-West
  • Conference_Location
    Kiev
  • Type

    conf

  • DOI
    10.1109/EWDTS.2014.7027092
  • Filename
    7027092