InterLock: An Intercorrelated Logic and Routing Locking.
Hadi Mardani KamaliKimia Zamiri AzarHouman HomayounAvesta SasanPublished in: CoRR (2020)
Keyphrases
- logic programming
- shortest path
- modal logic
- routing decisions
- routing protocol
- concurrency control
- routing algorithm
- routing problem
- mobile ad hoc networks
- logical framework
- object oriented database management systems
- data sets
- garbage collection
- traffic engineering
- network layer
- computational properties
- data structure
- database systems