Validating routing tables of routing devices
US10333794B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 17, 2018 |
| Grant date | Jun 25, 2019 |
| Priority date | — |
| Expiry date | Feb 17, 2038 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L45/28
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
A system performed by a computing device for validating routing tables of routing devices is provided. The routing tables map destination addresses to a next hops of the routing device. The system accesses one or more contracts that specify the desired behavior of a routing table of a routing device by specifying destination addresses and permissible next hops. For each routing device, the system generates a violation predicate for each contract that is applicable to the routing device. When a violation predicate is evaluated for a target destination address and a target next hop of the routing device, the violation predicate indicates whether the routing table violates the contract. The system then solves the violation predicates for all possible combinations of a target destination address and target next hops to determine whether any routing table violates the desired behavior of its routing device as specified by a contract.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.