会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • INFORMATION PROCESSING DEVICE, PROGRAM DEVELOPING DEVICE, PROGRAM VERIFYING METHOD, AND PROGRAM PRODUCT
    • 信息处理设备,程序开发设备,程序验证方法和程序产品
    • US20110296192A1
    • 2011-12-01
    • US13162955
    • 2011-06-17
    • Ryotaro HAYASHIMikio HashimotoHiroyoshi HarukiYurie Fujimatsu
    • Ryotaro HAYASHIMikio HashimotoHiroyoshi HarukiYurie Fujimatsu
    • H04L9/32G06F12/14
    • G06F21/54G06F12/1416G06F12/1441G06F21/53G06F21/6218
    • According to one embodiment, an information processing device stores a program list and plural types of security functions each defining therein protection attributes for respective arguments related to input and output of data to be protected, and stores function argument protection attributes and dependency relations each of which is defined by a determinant set and a dependent attribute that satisfy a predetermined condition. The device detects a combination of first and second security functions in which integrity of variables included in a determinant set of one dependency relation in the first security function are verified by the second security function, generates a third security function which adds protection attributes that guarantee integrity to variables included in the dependent attribute of the dependency relation in the first security function when verification of the second security function is successful and which outputs the variables, and updates the function argument protection attribute and the dependency relation concomitantly with an addition of the third security function.
    • 根据一个实施例,信息处理装置存储节目列表和多种类型的安全功能,每个安全功能各自定义与要保护的数据的输入和输出相关的参数的保护属性,并且存储功能参数保护属性和依赖关系, 由确定集合和依赖属性来定义,该属性集合和满足预定条件的从属属性。 该设备检测第一和第二安全功能的组合,其中包括在第一安全功能中的一个依赖关系的行列式集合中的变量的完整性由第二安全功能验证,生成第三安全功能,其增加保证完整性的保护属性 对第二安全功能的验证成功并且输出变量的第一安全功能中的依赖关系的从属属性中包含的变量,并且随着第三安全性的添加而更新功能参数保护属性和依赖关系 功能。
    • 4. 发明授权
    • Information processing device, program developing device, program verifying method, and program product
    • 信息处理装置,程序开发装置,程序验证方法和程序产品
    • US08683208B2
    • 2014-03-25
    • US13162955
    • 2011-06-17
    • Ryotaro HayashiMikio HashimotoHiroyoshi HarukiYurie Fujimatsu
    • Ryotaro HayashiMikio HashimotoHiroyoshi HarukiYurie Fujimatsu
    • G06F12/14G06F21/00G06F21/54G06F21/53
    • G06F21/54G06F12/1416G06F12/1441G06F21/53G06F21/6218
    • According to one embodiment, an information processing device stores a program list and plural types of security functions each defining therein protection attributes for respective arguments related to input and output of data to be protected, and stores function argument protection attributes and dependency relations each of which is defined by a determinant set and a dependent attribute that satisfy a predetermined condition. The device detects a combination of first and second security functions in which integrity of variables included in a determinant set of one dependency relation in the first security function are verified by the second security function, generates a third security function which adds protection attributes that guarantee integrity to variables included in the dependent attribute of the dependency relation in the first security function when verification of the second security function is successful and which outputs the variables, and updates the function argument protection attribute and the dependency relation concomitantly with an addition of the third security function.
    • 根据一个实施例,信息处理装置存储节目列表和多种类型的安全功能,每个安全功能各自定义与要保护的数据的输入和输出相关的参数的保护属性,并且存储功能参数保护属性和依赖关系, 由确定集合和依赖属性来定义,该属性集合和满足预定条件的从属属性。 该设备检测第一和第二安全功能的组合,其中包括在第一安全功能中的一个依赖关系的行列式集合中的变量的完整性由第二安全功能验证,生成第三安全功能,其增加保证完整性的保护属性 对第二安全功能的验证成功并且输出变量的第一安全功能中的依赖关系的从属属性中包含的变量,并且随着第三安全性的添加而更新功能参数保护属性和依赖关系 功能。