使用密码函数的计算机程序的自动证实装置及方法

摘要

所述计算机程序的自动证实方法可存取一安全存储器及一非安全存储器，所述程序使用有至少一编码函数及至少一解码函数，它包括一验证步骤(E340)，在所述验证步骤中验证：可从安全存储器读取数据并在非安全存储器中生成数据的任何函数为一编码函数；及由解码函数产生的任何数据存储在安全存储器中。