发明名称 条件转移的保护方法、资讯载体、程式、受保护系统和该方法的安全处理器
摘要 如果一或多个运算元之间的布林运算式被验证,条件跳越允许资料元素D上特定处理操作的执行,并且如果没有,阻止资料元素D上特定处理操作的执行。保护所述条件跳越的方法包含:a)从资料元素D并且从布林运算式的运算元计算(36,48,50;84,88,90)资料元素D’,进而若且唯若布林运算式被验证,资料元素D’与资料元素D相同,并且进而如果布林运算式没有被验证,资料元素D’具有另一个值,称为无效值,资料元素D’以多个位元来编码,以及b)在特定处理操作的任何执行期间使用(56-92)资料元素D’来代替资料元素D。
申请公布号 TWI396997 申请公布日期 2013.05.21
申请号 TW097148666 申请日期 2008.12.12
申请人 维萨斯股份有限公司 法国 发明人 大卫列波里尼;海萨姆噶达贾
分类号 G06F21/22;G06F21/24;G06F21/04;G06F9/44 主分类号 G06F21/22
代理机构 代理人 许世正 台北市信义区忠孝东路5段410号4楼
主权项
地址 法国