| 发明名称 | 使用密码函数的计算机程序的自动证实装置及方法 | ||
| 摘要 | 所述计算机程序的自动证实方法可存取一安全存储器及一非安全存储器，所述程序使用有至少一编码函数及至少一解码函数，它包括一验证步骤(E340)，在所述验证步骤中验证：可从安全存储器读取数据并在非安全存储器中生成数据的任何函数为一编码函数；及由解码函数产生的任何数据存储在安全存储器中。 | ||
| 申请公布号 | CN1643550A | 申请公布日期 | 2005.07.20 |
| 申请号 | CN03806985.7 | 申请日期 | 2003.03.18 |
| 申请人 | 奥贝蒂尔卡系统股份有限公司 | 发明人 | 文森特·芬库斯坦;法布瑞斯·伊丽萨贝丝 |
| 分类号 | G07F7/10;G06F1/00 | 主分类号 | G07F7/10 |
| 代理机构 | 中国国际贸易促进委员会专利商标事务所 | 代理人 | 郭思宇 |
| 主权项 | 1、一种对可存取一安全存储器(MS)及一非安全存储器(MNS)的计算机程序进行自动证实的方法，所述程序使用至少一编码函数(DES)及至少一解码函数(DES-1)，其特征还在于，该方法包括一验证步骤(E340)，在所述验证步骤中验证：——适合于从安全存储器(MS)读取数据并在非安全存储器(MNS)中生成数据的任何函数为一编码函数；及——由解码函数产生的任何数据被存储在安全存储器(MS)中。 | ||
| 地址 | 法国巴黎 | ||