| Presentation | 2013-02-15 Formal Approach for Verification of Routing Protocols. Tomoki MUROTA, Hiroaki HAZEYAMA, Akira KATO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The Internet became the infrastructure of the society. Therefore, it is necessary to verify the safety of the networking gear. In general, the safety of software is mortgaged by the white box test by the source code analysis. On the other hand, the source code of the network equipment is not open to the public, and neither the operation nor safety are objectively verified. In this paper, we reports on the progress of initial approach of formal verification of internet routing protocols problem description by present. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Formal Verification / Security Verification / Network Security / Information Leakage / Routing Protocol |
| Paper # | IA2012-86 |
| Date of Issue |
| Conference Information | |
| Committee | IA |
|---|---|
| Conference Date | 2013/2/7(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Internet Architecture(IA) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formal Approach for Verification of Routing Protocols. |
| Sub Title (in English) | |
| Keyword(1) | Formal Verification |
| Keyword(2) | Security Verification |
| Keyword(3) | Network Security |
| Keyword(4) | Information Leakage |
| Keyword(5) | Routing Protocol |
| 1st Author's Name | Tomoki MUROTA |
| 1st Author's Affiliation | The University of Tokyo() |
| 2nd Author's Name | Hiroaki HAZEYAMA |
| 2nd Author's Affiliation | Nara Institute of Science and Technology |
| 3rd Author's Name | Akira KATO |
| 3rd Author's Affiliation | Keio University |
| Date | 2013-02-15 |
| Paper # | IA2012-86 |
| Volume (vol) | vol.112 |
| Number (no) | 430 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |