INFORMATION PROCESSING DEVICE, PROGRAM DEVELOPING DEVICE, PROGRAM VERIFYING METHOD, AND PROGRAM PRODUCT
    1.
    发明申请
    INFORMATION PROCESSING DEVICE, PROGRAM DEVELOPING DEVICE, PROGRAM VERIFYING METHOD, AND PROGRAM PRODUCT 失效
    信息处理设备,程序开发设备,程序验证方法和程序产品

    公开(公告)号:US20110296192A1

    公开(公告)日:2011-12-01

    申请号:US13162955

    申请日:2011-06-17

    IPC分类号: H04L9/32 G06F12/14

    摘要: 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.

    摘要翻译: 根据一个实施例,信息处理装置存储节目列表和多种类型的安全功能,每个安全功能各自定义与要保护的数据的输入和输出相关的参数的保护属性,并且存储功能参数保护属性和依赖关系, 由确定集合和依赖属性来定义,该属性集合和满足预定条件的从属属性。 该设备检测第一和第二安全功能的组合,其中包括在第一安全功能中的一个依赖关系的行列式集合中的变量的完整性由第二安全功能验证,生成第三安全功能,其增加保证完整性的保护属性 对第二安全功能的验证成功并且输出变量的第一安全功能中的依赖关系的从属属性中包含的变量,并且随着第三安全性的添加而更新功能参数保护属性和依赖关系 功能。

    COMPUTER PROGRAM PRODUCT, AND INFORMATION PROCESSING APPARATUS AND METHOD
    2.
    发明申请
    COMPUTER PROGRAM PRODUCT, AND INFORMATION PROCESSING APPARATUS AND METHOD 有权
    计算机程序产品和信息处理设备和方法

    公开(公告)号:US20130219408A1

    公开(公告)日:2013-08-22

    申请号:US13585941

    申请日:2012-08-15

    IPC分类号: G06F9/46

    CPC分类号: G06F9/461 G06F21/52

    摘要: According to an embodiment, a computer program product includes a computer-readable medium including program, when executed by a computer, to have a plurality of modules run by the computer. The computer includes a memory having a shared area, which is an area accessible to only those modules which run cooperatively and storing therein execution module identifiers. Each of the modules includes a first operation configured to store, just prior to a switchover of operations to an other module that runs cooperatively, an identifier of the other module as the execution module identifier in the shared area; and a second operation configured to execute, when the execution module identifier stored in the shared area matches with an identifier of own module immediately after a switchover of operations from the other module, a function inside the own module.

    摘要翻译: 根据实施例,计算机程序产品包括计算机可读介质,其包括由计算机执行时具有由计算机运行的多个模块的程序。 计算机包括具有共享区域的存储器,该共享区域是只能协作运行并在其中存储执行模块标识符的那些模块可访问的区域。 每个模块包括第一操作,其被配置为在操作切换到协同运行的其他模块之前存储另一模块的标识符作为共享区域中的执行模块标识符; 以及第二操作,被配置为当存储在所述共享区域中的执行模块标识符与来自所述另一模块的操作的切换之后立即匹配自身模块的标识符时,执行所述自身模块内的功能。

    MEMORY MANAGEMENT DEVICE AND MEMORY MANAGEMENT METHOD
    3.
    发明申请
    MEMORY MANAGEMENT DEVICE AND MEMORY MANAGEMENT METHOD 有权
    存储器管理设备和存储器管理方法

    公开(公告)号:US20120079283A1

    公开(公告)日:2012-03-29

    申请号:US13223753

    申请日:2011-09-01

    IPC分类号: G06F12/14

    摘要: According to an embodiment, a memory management device increments a lower value of a first counter, updates the counter by incrementing an upper value and resetting the lower value when the lower value overflows, increments to update the lower counter value when the upper value is incremented as a result of writing a second data piece having the upper value in common to a memory, recalculates a first secret value calculated using the first counter values and a root secret value in response to the first counter update, writes a first data piece and the first secret value to the memory, and at reading of the first data piece and the first secret value, calculates a second secret value using the updated first counter values and the root secret value, and compares the first secret value with the second secret value to verify the first data piece.

    摘要翻译: 根据实施例,存储器管理装置增加第一计数器的较低值,通过增加上限值来更新计数器,并且当较低值溢出时重新设置较低值,当增加上限值时递增以更新下计数器值 作为将具有上述值的第二数据片共同写入存储器的结果,重新计算响应于第一计数器更新使用第一计数器值和根秘密值计算的第一秘密值,写入第一数据片和 并且在读取第一数据段和第一秘密值时,使用更新的第一计数器值和根秘密值计算第二秘密值,并将第一秘密值与第二秘密值比较, 验证第一个数据。

    AUTHENTICATION PROCESSING APPARATUS, AUTHENTICATION PROCESSING METHOD, RECORDING MEDIUM STORING AUTHENTICATION PROCESSING PROGRAM, RECORDING MEDIUM STORING INFORMATION PROCESSING PROGRAM AND INFORMATION PROCESSING SYSTEM
    5.
    发明申请
    AUTHENTICATION PROCESSING APPARATUS, AUTHENTICATION PROCESSING METHOD, RECORDING MEDIUM STORING AUTHENTICATION PROCESSING PROGRAM, RECORDING MEDIUM STORING INFORMATION PROCESSING PROGRAM AND INFORMATION PROCESSING SYSTEM 有权
    认证处理设备,认证处理方法,记录中央存储认证处理程序,记录存储信息处理程序和信息处理系统

    公开(公告)号:US20080250495A1

    公开(公告)日:2008-10-09

    申请号:US12055383

    申请日:2008-03-26

    申请人: Ryotaro HAYASHI

    发明人: Ryotaro HAYASHI

    IPC分类号: G06F21/00

    摘要: An authentication processing apparatus, which includes: an authentication processing section that performs authentication using an authentication method selected from authentication methods provided; a storage section that stores authentication information indicating whether or not the authentication succeeds; a determination section that, when an operation on electronic information associated to one or more authentication methods is performed, determines whether the operation on the electronic information is permitted or not, on the basis of the one or more authentication methods associated to the electronic information and the stored authentication information; and an authentication request section that, when the determination section determines that the operation on the electronic information is not permitted, detects from among the one or more authentication methods associated to the electronic information an authentication methods for which it is not indicated in the authentication information that an authentication succeeds, and requests the authentication using the detected authentication method.

    摘要翻译: 一种验证处理装置,包括:认证处理部,其使用从提供的认证方法中选择的认证方法进行认证; 存储部,其存储表示认证成功的认证信息; 确定部,其在执行与一个或多个认证方法相关联的电子信息的操作时,基于与所述电子信息相关联的所述一个或多个认证方法来确定对所述电子信息的操作是否被允许,以及 存储的认证信息; 以及认证请求部,当所述判断部判断为不允许对所述电子信息的操作时,从与所述电子信息相关联的所述一个或多个认证方法中检测出在认证信息中未表示的认证方法 认证成功,并使用检测到的认证方法请求认证。