Title:
VERIFICATION PROCESSING DEVICE, VERIFICATION METHOD, AND PROGRAM
Document Type and Number:
WIPO Patent Application WO/2021/020077
Kind Code:
A1
Abstract:
This verification processing device is provided with: an inspection processing unit which extracts elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected; a refinement processing unit which determines, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refines a cause element that is an element of the cause of the insecure event; and a receiving unit which receives, from an operator, a selection of at least one cause element from among a plurality of the cause elements, wherein the inspection processing unit performs the model inspection once again with respect to an improved model to be inspected, which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.
Inventors:
TAKAO KENJI (JP)
HIRAYAMA KEITA (JP)
MASUMORI KENTA (JP)
HIRAYAMA KEITA (JP)
MASUMORI KENTA (JP)
Application Number:
PCT/JP2020/027017
Publication Date:
February 04, 2021
Filing Date:
July 10, 2020
Export Citation:
Assignee:
MITSUBISHI HEAVY IND ENG LTD (JP)
International Classes:
G06F11/34; G06F11/36
Domestic Patent References:
| WO2019142858A1 | 2019-07-25 |
Other References:
SUMI TAKESHI, WADA TAIKI, AN RYO, TAKEYAMA FUMINOBO: "Method for identifying causative conditions from counter example", IPSJ SIG TECHNICAL REPORT, vol. 2015-SE-187, no. 40, 5 March 2015 (2015-03-05), pages 1 - 6, XP009526620
YAJIMA HIROTSUGU, KISI TOMOJI: "Security verification of edge side access restriction for IoT device", PROCEEDINGS OF THE 80TH NATIONAL CONVENTION OF IPSJ (1) COMPUTING SYSTEM SOFTWARE SCIENCE/ENGINEERING, DATA AND WEB, no. 1, 13 March 2018 (2018-03-13), pages 1-223 - 1-224, XP009526623
YAJIMA HIROTSUGU, KISI TOMOJI: "Security verification of edge side access restriction for IoT device", PROCEEDINGS OF THE 80TH NATIONAL CONVENTION OF IPSJ (1) COMPUTING SYSTEM SOFTWARE SCIENCE/ENGINEERING, DATA AND WEB, no. 1, 13 March 2018 (2018-03-13), pages 1-223 - 1-224, XP009526623
Attorney, Agent or Firm:
MATSUNUMA Yasushi et al. (JP)
Download PDF:
Previous Patent: FLUORINE-CONTAINING ETHER COMPOUND, LUBRICANT FOR MAGNETIC RECORDING MEDIUM, AND MAGNETIC RECORDING ...
Next Patent: ELECTRIC ACTUATOR
Next Patent: ELECTRIC ACTUATOR