5 ms·
The Formal Design Model of an Automatic Teller Machine (ATM) [pdf]
- christianbryant 10y agoThe Alice malware attacks is a good example of a need for more formal ATM software design toward a more secure firmware/OS package.
loading thread…
5 ms·