发明名称 |
条件转移的保护方法、资讯载体、程式、受保护系统和该方法的安全处理器 |
摘要 |
如果一或多个运算元之间的布林运算式被验证,条件跳越允许资料元素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楼 |
主权项 |
|
地址 |
法国 |