[发明专利]利用随机函数的执行证明无效
申请号: | 200480013348.9 | 申请日: | 2004-05-06 |
公开(公告)号: | CN101048720A | 公开(公告)日: | 2007-10-03 |
发明(设计)人: | M·E·范迪克;P·T·图尔斯 | 申请(专利权)人: | 皇家飞利浦电子股份有限公司 |
主分类号: | G06F1/00 | 分类号: | G06F1/00 |
代理公司: | 中国专利代理(香港)有限公司 | 代理人: | 吴立明;王勇 |
地址: | 荷兰艾*** | 国省代码: | 荷兰;NL |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 物理随机函数(PUF)是一种容易被评估但难以被特征化的函数。受控物理随机函数(CPUF)是仅经由受安全算法控制的安全程序被访问的PUF,其中安全算法以一种不可分离的方式物理地连接到PUF。CPUF允许验证执行,其中产生能证明特定计算在特定的处理器上执行的证书。本发明提供了一个附加的层来生成第三方可以检验的执行证明。该执行证明还可用于提供安全存储器和安全可中断程序执行。 | ||
搜索关键词: | 利用 随机 函数 执行 证明 | ||
【主权项】:
1.证明程序指令执行的真实性的方法,包括:-在包括随机函数(104,203)的安全设备(103,202)上的安全程序(403)的控制下执行程序指令的步骤,随机函数仅可通过受控接口从安全程序访问,受控接口包括至少一个访问随机函数的基本函数,所述基本函数返回的输出依赖于至少那些调用基本函数的安全程序部分的至少一部分表示,-利用随机函数,在工作于第一模式(404)下的安全程序执行期间通过经由受控接口访问随机函数来计算证明结果的步骤,和-利用随机函数,在工作于第二模式(405)下的同一安全程序执行期间通过经由受控接口访问随机函数来检验证明结果的步骤。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于皇家飞利浦电子股份有限公司,未经皇家飞利浦电子股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200480013348.9/,转载请声明来源钻瓜专利网。
- 上一篇:起动记忆方法
- 下一篇:全数字D类功放中PWM结构的非线性误差校正方法