INFORMATION PROCESSING DEVICE, PROGRAM DEVELOPING

专利名称：INFORMATION PROCESSING DEVICE,

PROGRAM DEVELOPING DEVICE, PROGRAMVERIFYING METHOD, AND PROGRAMPRODUCT

发明人：Ryotaro HAYASHI,Mikio

Hashimoto,Hiroyoshi Haruki,Yurie Fujimatsu

申请号：US13162955申请日：20110617

公开号：US20110296192A1公开日：20111201

专利附图：

摘要：According to one embodiment, an information processing device stores aprogram list and plural types of security functions each defining therein protectionattributes for respective arguments related to input and output of data to be protected,and stores function argument protection attributes and dependency relations each ofwhich is defined by a determinant set and a dependent attribute that satisfy a

predetermined condition. The device detects a combination of first and second securityfunctions in which integrity of variables included in a determinant set of one dependencyrelation in the first security function are verified by the second security function,generates a third security function which adds protection attributes that guaranteeintegrity to variables included in the dependent attribute of the dependency relation inthe first security function when verification of the second security function is successfuland which outputs the variables, and updates the function argument protection attributeand the dependency relation concomitantly with an addition of the third security function.

申请人：Ryotaro HAYASHI,Mikio Hashimoto,Hiroyoshi Haruki,Yurie Fujimatsu

地址：Kanagawa JP,Kanagawa JP,Kanagawa JP,Kanagawa JP

国籍：JP,JP,JP,JP

更多信息请下载全文后查看