Electronic information storage medium, IC card, data abnormality confirmation method, and data abnormality confirmation program

摘要

PROBLEM TO BE SOLVED: To provide an electronic information storage medium, an IC card, a method for confirming data abnormality, and a program for confirming data abnormality capable of coping with a fault utilization attack with consumption of minimum memory resources.SOLUTION: When regular data is stored in a stack area, a virtual machine stores redundant data for determining abnormality of the regular data, in a redundant data storage area other than the stack area, and sets a stored flag, which indicates that the redundant data is stored, in a flag setting area. If the stored flag is set when the regular data is retrieved from the stack area, the virtual machine confirms whether or not there is the abnormality of the regular data using the regular data and the redundant data. When it is confirmed that there is no abnormality in the regular data, the virtual machine cancels the setting of the stored flag and retrieves the regular data from the stack area.SELECTED DRAWING: Figure 4