VeriORouting: Verification on intelligent routing outsourced to the cloud.
Hui BaiXixun YuZheng YanJialei ZhangLaurence T. YangPublished in: Inf. Sci. (2023)
Keyphrases
- cloud computing
- third party
- model checking
- decision support
- routing algorithm
- routing protocol
- intelligent systems
- shortest path
- routing problem
- formal verification
- signature verification
- ad hoc networks
- asynchronous circuits
- network layer
- fingerprint verification
- face verification
- mobile ad hoc networks
- information systems
- end to end
- multi agent systems