Formal verification apparatus, formal verification method and program
AssigneeNippon Telegraph and Telephone Corporation
InventorsMisato NAKABAYASHI, Tetsuya OKUDA
Life of this patent
Estimating the term…
Abstract
A formal verification apparatus includes: a protocol information acquisition unit configured to acquire protocol information including a system configuration including a client terminal having a virtual network; and a protocol verification unit configured to handle an attack on the virtual network as an attack by the client terminal, which is an unauthorized terminal, by formal verification that is performed based on the protocol information, and verifies safety of a protocol indicated in the protocol information.
Claims5
A formal verification apparatus comprising:
- a protocol information acquisition unit configured to acquire protocol information including a system configuration including a client terminal having a virtual network;
- and
- a protocol verification unit configured to handle an attack on the virtual network as an attack by the client terminal, which is an unauthorized terminal, by formal verification that is performed based on the protocol information, and verifies safety of a protocol indicated in the protocol information.
A formal verification method executed by a formal verification apparatus, the formal verification method comprising:
- acquiring protocol information including a system configuration including a client terminal having a virtual network;
- and
- handling an attack on the virtual network as an attack by the client terminal, which is an unauthorized terminal, by formal verification that is performed based on the protocol information, and verifying safety of a protocol indicated in the protocol information.
Dependencies are inferred from the claim text.