| Presentation | 2020-03-06 nvestigation and Evaluation of Network Verification Method Yosuke Takano, Masaaki Noro, Naoki Oguchi, Syunji Abe, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In the configuration to construct complicated networks among cloud, the part which can be automated increases, but there are still many parts which require the human. Misconfiguration of the network may lead to an accident of the network, in particular, misconfiguration of the route information may cause a large-scale network abnormality. In this paper, we propose Network Verification Method to verify consistency of L3 route settings by monitoring setting change of network appliances, to analyze setting of network appliances and routing tables learned by the network appliances by using Delta-Net, to confirm topology based on analysis results. As a result of carrying out evaluation in an environment where a virtual router and a virtual computer were arranged by preparing a virtual network in a computer, we confirm that L3 loop failures generated by plural patterns could be detected in available analysis time. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Network / Automation / Error detection |
| Paper # | NS2019-252 |
| Date of Issue | 2020-02-27 (NS) |
| Conference Information | |
| Committee | NS / IN |
|---|---|
| Conference Date | 2020/3/5(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Royal Hotel Okinawa Zanpa-Misaki |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | General |
| Chair | Yoshikatsu Okazaki(NTT) / Takuji Kishida(NTT-AT) |
| Vice Chair | Akihiro Nakao(Univ. of Tokyo) / Kenji Ishida(Hiroshima City Univ.) |
| Secretary | Akihiro Nakao(Osaka Pref Univ.) / Kenji Ishida(NTT) |
| Assistant | Shinya Kawano(NTT) |
| Paper Information | |
| Registration To | Technical Committee on Network Systems / Technical Committee on Information Networks |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | nvestigation and Evaluation of Network Verification Method |
| Sub Title (in English) | |
| Keyword(1) | Network |
| Keyword(2) | Automation |
| Keyword(3) | Error detection |
| 1st Author's Name | Yosuke Takano |
| 1st Author's Affiliation | Fujitsu Laboratries Ltd.(FLL) |
| 2nd Author's Name | Masaaki Noro |
| 2nd Author's Affiliation | Fujitsu Laboratries Ltd.(FLL) |
| 3rd Author's Name | Naoki Oguchi |
| 3rd Author's Affiliation | Fujitsu Laboratries Ltd.(FLL) |
| 4th Author's Name | Syunji Abe |
| 4th Author's Affiliation | National Institute of Informatics(NII) |
| Date | 2020-03-06 |
| Paper # | NS2019-252 |
| Volume (vol) | vol.119 |
| Number (no) | NS-460 |
| Page | pp.pp.425-430(NS), |
| #Pages | 6 |
| Date of Issue | 2020-02-27 (NS) |