Secure ATM Device Design by Control Command Verification.

Hisao Ogata Tomoyoshi Ishikawa Norichika Miyamoto Tsutomu Matsumoto

Published in: ATIS (2019)

Keyphrases

design process
design procedure
control unit
expert systems
lightweight
real time control
functional verification
reinforcement learning
high level synthesis
cryptographic protocols
design methodology
engineering design
design principles
model checking
building blocks
control system
user interface