ハードウェア・ロジック内の有限状態マシン(FSM)に欠陥があると、攻撃者はシステムを未定義の状態にし、サービス拒否(DoS)を引き起こしたり、被害者のシステム上で特権を得たりすることができる。
システムの機能とセキュリティは、FSMの実装に大きく依存する。FSMは、システムの現在のセキュリティ状態を示すために使用することができる。多くの安全なデータ操作やデータ転送は、FSMが報告する状態に依存している。
Faulty finite state machines (FSMs) in the hardware logic allow an attacker to put the system in an undefined state, to cause a denial of service (DoS) or gain privileges on the victim's system.
The functionality and security of the system heavily depend on the implementation of FSMs. FSMs can be used to indicate the current security state of the system. Lots of secure data operations and data transfers rely on the state reported by the FSM.