2005 · 42 citations · 4 references
ComputingComputer EngineeringComputer ScienceComputer SecurityFault-tolerant ComputingFault-tolerant SystemsBuilt-in Self-testDesign For TestabilityFault InjectionFault ModelingSecure System DesignFault Injection In Cyber-physical SystemsFault Injection SimulationFault Injection TestbedsFault Injection TestingHardware Fault InjectionSecurity SimulationSystemc Modeling
Smart cards are one of the smallest computing platforms in use today. They are used in an increasing number of security applications. To gain sensitive data, a lot of security attacks are performed on smart cards. Therefore it is mandatory to test smart cards for robustness in matters of security. Tests are very time consuming and are performed often very late in the design process. This paper presents a methodology for high-level fault injection for security attack simulation in smart cards. The fault injection technique into SystemC designs is described and the fault injection tool is presented. Moreover, the system behaviour analysis is depicted. Preliminary results show that this methodology can assist in finding system components vulnerable to security attacks.
4
Design principles for tamper-resistant smartcard processors
Oliver Kömmerling, Markus Kühn · 1999 · 543 citations
Fault injection into VHDL models: the MEFISTO tool
Éric Jenn, Jean Arlat, M. Rimen et al. · 2002 · 296 citations
Test Routines Based on Symbolic Logical Statements
Richard D. Eldred · Journal of the ACM · 1959 · 176 citations · Full text