Login / Signup

MASK: Practical Source and Path Verification Based on Multi-AS-Key.

Songtao FuQi LiMin ZhuXiaoliang WangSu YaoYangfei GuoXinle DuKe Xu
Published in: IEEE/ACM Trans. Netw. (2023)
Keyphrases
  • high security
  • real world
  • data sets
  • relational databases
  • shortest path
  • real time
  • databases
  • optimal solution
  • video sequences
  • multi source
  • practical problems
  • formal analysis
  • formal verification