会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 5. 发明授权
    • Secure and opaque type library providing secure data protection of variables
    • 安全和不透明的库提供变量的安全数据保护
    • US07254586B2
    • 2007-08-07
    • US10185644
    • 2002-06-28
    • Yuqun ChenRamarathnam VenkatesanMariusz H. Jakubowski
    • Yuqun ChenRamarathnam VenkatesanMariusz H. Jakubowski
    • G06F7/00G06F11/30G06F12/14H04L9/32
    • G06F21/14Y10S707/99931
    • A method, apparatus, and article of manufacture for providing secure and opaque type libraries to automatically provide secure variables within a programming module. A system for providing secure and opaque type libraries to automatically provide secure variables within a programming module. The system includes an OTL selection module, an OTL substitution module, an OTL type library database, a compiler module; and a linker module to create an executable processing module. The OTL selection module randomly selects or generates one of the possible variable obfuscation functions for each declared secure variable. The OTL substitution module substitutes the separate instance of the selected variable obfuscation function for every reference to the declared secure variable. The OTL type library database receives queries from the OTL selection module a database to identify of possible variable obfuscation functions applicable for the variable type corresponding to the declared secure variables.
    • 一种用于提供安全和不透明类型库以在编程模块内自动提供安全变量的方法,装置和制品。 一种用于提供安全和不透明类型库以在编程模块内自动提供安全变量的系统。 该系统包括OTL选择模块,OTL替代模块,OTL类型库数据库,编译器模块; 以及用于创建可执行处理模块的链接器模块。 OTL选择模块随机选择或生成每个声明的安全变量的可能的变量模糊函数之一。 OTL替换模块将所选变量混淆函数的单独实例替换为声明的安全变量的每个引用。 OTL类型库数据库从OTL选择模块接收数据库的查询,以识别适用于与所声明的安全变量相对应的变量类型的可能的变量混淆函数。
    • 9. 发明授权
    • Code integrity verification that includes one or more cycles
    • 包含一个或多个周期的代码完整性验证
    • US07080249B1
    • 2006-07-18
    • US09670916
    • 2000-09-29
    • Mariusz H. JakubowskiRamarathnam VenkatesanYacov Yacobi
    • Mariusz H. JakubowskiRamarathnam VenkatesanYacov Yacobi
    • G06F1/26
    • G06F21/125H04L9/3242
    • Cyclic verification of code integrity is applied to an object by identifying multiple segments of the object. Each segment is separated into multiple blocks, and a message authentication code (MAC) value of each of these segments is computed. The computed module MAC values are then incorporated into selected ones of the multiple segments (referred to here as “checker segments”), which may also have their MAC values incorporated into other checker segments. A new MAC value for each of the checker segments is then calculated. A new block is added to each of the checker segments that results in restoring the MAC value of the checker segment back to its original value. Thus, the checker segments can be subsequently verified based on the MAC values stored in other segments.
    • 通过识别对象的多个段来对代码完整性进行循环验证。 每个段被分成多个块,并且计算每个这些段的消息认证码(MAC)值。 计算出的模块MAC值然后被合并到多个段中的选定的一个(这里称为“检验器段”),其也可以将它们的MAC值合并到其他检验器段中。 然后计算每个检查器段的新MAC值。 每个检查器段都添加一个新的块,导致检查器段的MAC值恢复到原始值。 因此,随后可以基于存储在其他段中的MAC值验证检验器段。