Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
INFORMATION PROCESSING DEVICE, PROGRAM DEVELOPING DEVICE, PROGRAM VERIFYING METHOD, AND PROGRAM
Document Type and Number:
WIPO Patent Application WO/2010/070959
Kind Code:
A1
Abstract:
An information processing device stores: a plurality of types of security functions which define the protection attribute for each of the arguments relating to input and output of data to be protected; a program list; function argument protection attributes; and dependent relationship defined by a decision term and a dependent term which satisfy a predetermined condition.  The information processing device includes: a step of detecting a combination of a first security function in which completeness of a variable contained in the decision term of one dependent relationship is verified by a second security function and the second security function among security functions used in the process; a step of generating a third security function which gives a protection attribute for guaranteeing the completeness of the variable contained in the dependent term of the dependent relationship in the first security function if the second security function is verified successfully, without changing the action of the process; and a step of updating the function argument protection attribute and the dependent relationship accompanying the addition of the third security function.

Inventors:
HAYASHI RYOTARO (JP)
HASHIMOTO MIKIO (JP)
HARUKI HIROYOSHI (JP)
FUJIMATSU YURIE (JP)
Application Number:
PCT/JP2009/066380
Publication Date:
June 24, 2010
Filing Date:
September 18, 2009
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
TOSHIBA KK (JP)
HAYASHI RYOTARO (JP)
HASHIMOTO MIKIO (JP)
HARUKI HIROYOSHI (JP)
FUJIMATSU YURIE (JP)
International Classes:
G06F12/14; G06F21/10; G06F21/14; G06F21/60; G06F21/62
Foreign References:
JP2000267844A2000-09-29
JP2005004301A2005-01-06
JP2004118494A2004-04-15
JP2009129206A2009-06-11
Other References:
RYOTARO HAYASHI: "Secure Software Development Environment DFITS (Data Flow Isolation Technology for Security)", INFORMATION PROCESSING SOCIETY OF JAPAN KENKYU HOKOKU, vol. 2009, no. 20, 26 February 2009 (2009-02-26), pages 247 - 252
Attorney, Agent or Firm:
SAKAI, Hiroaki et al. (JP)
Hiroaki Sakai (JP)
Download PDF: