ZHOU Kaibo, ZHANG Zhibing, WANG Xiaoyu, LIU Xindong. Input/Output labeled transition system based robustness analysis model of routing protocol[J]. Information and Communications Technology and Policy, 2022, 48(4): 49-56.
MOY J. OSPF version 2[J]. Request for Comments, 1994, 28(4):1.
[3]
HARES S, REKHTER Y, LI T. A border gateway protocol 4 (BGP-4)[M]. RFC Editor, 2006.
[4]
杨言. 互联网域间路由劫持及其防御研究[D]. 北京: 清华大学, 2020.
[5]
MURPHY S. BGP security vulnerabilities analysis[J]. Work in Progress, draft-ietf-idr-bgp-vuln-00.txt, 2006.
[6]
BAKKALI S, BENABOUD H, MAMOUN M B. Security problems in BGP: an overview[C]// Security Days. IEEE, 2013.
[7]
KELLER R M. Formal verif icati on of parallel programs[J]. Communications of the ACM, 1976, 19(7):371-384.
doi: 10.1145/360248.360251URL
[8]
FU Y, KONÉ O. Security and robustness by protocol testing[J]. IEEE Systems Journal, 2014, 8(3):699-707. DOI: 10.1109/JSYST.2012.2223532.
doi: 10.1109/JSYST.2012.2223532URL
[9]
KHORCHEF S. Un cardre formel pour le test de robustesse des protocols de communication[D]. Univ. Bordeaux, France, 2007.