A New Path Verification Protocol for Securing BGP.
Na WangYingjian ZhiBinqiang WangPublished in: HPCC (2008)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- model checking
- formal analysis
- lightweight
- formal verification
- colored petri nets
- coloured petri nets
- anomaly detection
- formal methods
- shortest path
- communication protocols
- petri net
- formal proof
- network protocols
- verification method
- signature verification
- tcp ip
- distributed databases
- multi party
- application layer
- formal specification
- face verification