NETWORK VERIFICATION DEVICE, NETWORK VERIFICATION METHOD, AND PROGRAM

Title:

NETWORK VERIFICATION DEVICE, NETWORK VERIFICATION METHOD, AND PROGRAM

Document Type and Number:

WIPO Patent Application WO/2014/168164

Kind Code:

A1

Abstract:

In order to contribute to the improvement in the efficiency of an exhaustive verification of a network, a network verification device is provided with: a verification information input unit which accepts an input of verification information that defines the configuration of a network to be verified and the operation model of a device included in the network; a model checking execution unit which, in model checking using the verification information, performs a state transition without concretely dealing with the contents of a packet from a terminal connected to the network, sends information relating to the past transition path of each state to a search necessity/unnecessity confirmation unit before a state search of a next state, and performs the model checking while inquiring whether or not the search of the next state can be omitted or not; the search necessity/unnecessity confirmation unit which, on the basis of the information relating to the past transition path of the state and received from the model checking execution unit, determines whether or not the search of the next state can be omitted, and responds as to whether or not the search of the next state can be omitted; and a verification result output unit which, on the basis of an output from the model checking execution unit, outputs the result of a verification.

More Like This:

JP4526079	Multi-hop communication system and its mobile terminal, route control server and route establishment method
WO/2014/112612	COMMUNICATION SYSTEM, CONTROL DEVICE, AND METHOD FOR MANAGING NETWORK TOPOLOGY
WO/2013/152806	RECOVERY IN CONNECTION-ORIENTED NETWORK

Inventors:

YAKUWA YUTAKA (JP)
TOMIZAWA NOBUYUKI (JP)

Application Number:

PCT/JP2014/060252

Publication Date:

October 16, 2014

Filing Date:

April 09, 2014

Export Citation:

Click for automatic bibliography generation Help

Assignee:

NEC CORP (JP)

International Classes:

H04L45/42

Foreign References:

JP2005218038A	2005-08-11
JP2011191985A	2011-09-29

Other References:

YUTAKA YAKUWA ET AL.: "Model Checking of OpenFlow Network with Abstraction of Packets Based on Symbolic Execution", IEICE TECHNICAL REPORT, vol. 113, no. 140, July 2013 (2013-07-01), pages 107 - 112

Attorney, Agent or Firm:

KATO, Asamichi (JP)
Asamichi Kato (JP)

Download PDF:

View/Download PDF PDF Help

Previous Patent: PHOTOELECTRIC CONVERSION ELEMENT, DYE-SENSITIZED SOLAR CELL, METAL-COMPLEX DYE, DYE SOLUTION, DYE-AD...

Next Patent: PHOTOELECTRIC CONVERSION ELEMENT, DYE-SENSITIZED SOLAR CELL, METAL-COMPLEX DYE, DYE SOLUTION, DYE-AD...